====== Přednášky ======
Okruhy otázek ke zkoušce:  
{{:courses:b2m32dsa:lectures:dsaquestions.pdf|DsaQuestions}} \\
^ Týden ^   Datum    ^ Přednášející  ^ Obsah přednášky                                                    ^ Výukové materiály                       ^
|   1   | 03.10.2017 |      RM       | Úvod do komplexních sítí  | {{:courses:b2m32dsa:lectures:dsaoverview.pdf|Overview}} \\ {{:courses:b2m32dsa:lectures:p01.introduction.pdf| P01Handouts}} |
|   2   | 10.10.2017 |      RM       | Základní vlastnosti sítí a modely náhodných grafů  | {{:courses:b2m32dsa:lectures:p02.complexnetworks.pdf| P02Handouts}} |
|   3   | 17.10.2017 |      RM       | Charakterizace uzlů sítě     | {{:courses:b2m32dsa:lectures:p03.networkproperties.pdf| P03Handouts }} |
|   4   | 24.10.2017 |      RM       | Struktura sítě                                      | {{:courses:b2m32dsa:lectures:p04.networkstructure.pdf|P04Handouts}} |
|   5   | 31.10.2017 |      RM       | Detekce komunit                                       | {{:courses:b2m32dsa:lectures:p05.communitydetection.pdf|P05Handouts}} |
|   6   | 07.11.2017 |      RM       | Specifikační jazyk Alloy  | {{:courses:b2m32dsa:lectures:alloy.pdf| P06.Alloy.pdf}} |
|   7   | 14.11.2017 |               | přednáška se nekoná |  |
|   8   | 21.11.2017 |      RM       | Verifikační systém UPPAAL                         | {{:courses:b2m32dsa:lectures:p08.uppaal.pdf| P08.UPPAAL.pdf}}|
|   9   | 28.11.2017 |               | přednáška se nekoná       |  |
|  10   | 05.12.2017 |      RM       | Verifikace protokolů                             | {{:courses:b2m32dsa:lectures:p10.protocolverification.pdf|P10.ProtocolVerification.pdf}} |
|  11   | 12.12.2017 |      RM       | Detekční sekvence automatů       | {{:courses:b2m32dsa:lectures:p11.fsmcheckingsequence.pdf|P11.FsmCheckingSequence.pdf}} |
|  12   | 19.12.2017 |      RM       | Učení se automatům              |{{:courses:b2m32dsa:lectures:p12.fsmlearning.pdf|P12.FsmLearning.pdf}} |
|  13   | 02.01.2018 |      RM       | Učení se automatům II                   | {{:courses:b2m32dsa:lectures:p13.fsmlearning2.pdf|P13.FsmLearning2.pdf}} |
|  14   | 09.01.2018 |      RM       | Diagnostika vícevrstvých sítí,Softwarové nástroje,Inference nad sítěmi, Dynamika sítí      | {{:courses:b2m32dsa:lectures:p14.multilayerdiagnostics.pdf|P14.MultilayerDiagnostics.pdf}} |