====== 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   | 24.09.2020 |      RM       | Úvod do komplexních sítí  | {{:courses:b2m32dsa:lectures:dsaoverview.pdf|Overview}} \\ {{:courses:b2m32dsa:lectures:p01.introduction.pdf| P01Handouts}} |
|   2   | 01.10.2020 |      RM       | Základní vlastnosti sítí a modely náhodných grafů  | {{:courses:b2m32dsa:lectures:p02.complexnetworks.pdf| P02Handouts}} |
|   3   | 08.10.2020 |      RM       | Charakterizace uzlů sítě     | {{:courses:b2m32dsa:lectures:p03.networkproperties.pdf| P03Handouts }} |
|   4   | 15.10.2020 |      RM       | Struktura sítě                                      | {{:courses:b2m32dsa:lectures:p04.networkstructure.pdf|P04Handouts}} |
|   5   | 22.10.2020 |      RM       | Detekce komunit                                       | {{ :courses:b2m32dsaa:lectures:p05.communitydetection.pdf | P05CommunityDetection.pdf }} |
|   6   | 29.10.2020 |      RM       | Predikce vazeb a inference sítí | {{ :courses:b2m32dsaa:lectures:p06.networkinference.pdf | P06.NetworkInference.pdf }} |
|   7   | 05.11.2020 |      RM       | Specifikační jazyk Alloy | {{ :courses:b2m32dsaa:lectures:p08.alloy.pdf | P08.Alloy.pdf}} |                                                                                   
|   8   | 12.11.2020 |      RM       | Verifikační systém UPPAAL | {{:courses:b2m32dsa:lectures:p08.uppaal.pdf| P09.UPPAAL.pdf}} |
|   9   | 19.11.2020 |      RM       | Verifikace protokolů  | {{:courses:b2m32dsa:lectures:p10.protocolverification.pdf|P10.ProtocolVerification.pdf}}  |
|  10   | 26.11.2020 |      RM       | Testování automatů a jejich charakterizační množina | {{:courses:b2m32dsa:lectures:p11.fsmcheckingsequence.pdf|P11.FsmCheckingSequence.pdf}} |
|  11   | 03.12.2020 |      RM       | Detekční sekvence automatů | {{ :courses:b2m32dsaa:lectures:p12.fsmsequences.pdf | FsmSequences.pdf }} |
|  12   | 10.12.2020 |      RM       | Učení se automatům  | {{ :courses:b2m32dsaa:lectures:p13.fsmlearning.pdf | FsmLearning }} |
|  13   | 17.12.2020 |      RM       | Vývoj sítě a dynamické síťové procesy  | {{ :courses:b2m32dsaa:lectures:p07.networkdynamics.pdf | NetworkDynamics.pdf }} |
|  14   | 07.01.2021 |      RM       | Diagnostika vícevrstvých sítí   | {{:courses:b2m32dsa:lectures:p14.multilayerdiagnostics.pdf|P14.MultilayerDiagnostics.pdf}} |