====== Přednášky ======
Okruhy otázek ke zkoušce:  
{{:courses:b2m32dsaa:lectures:00.dsaquestions.pdf|DsaQuestions}} \\
^ Týden ^   Datum    ^ Přednášející  ^ Obsah přednášky                                                    ^ Výukové materiály                       ^
|   1   | 28.09.2023 |             | **státní svátek**  |   |
|   2   | 05.10.2023 |      RM       | Úvod do komplexních sítí  | {{:courses:b2m32dsaa:lectures:00.dsaoverview.pdf|Overview}} \\ {{:courses:b2m32dsaa:lectures:p01.introduction.pdf| P01Handouts}} |
|   3   | 12.10.2023 |      RM       | Základní vlastnosti sítí a modely náhodných grafů  | {{:courses:b2m32dsaa:lectures:p02.complexnetworks.pdf| P02Handouts}} |
|   4   | 19.10.2023 |      RM       | Charakterizace uzlů sítě     | {{:courses:b2m32dsaa:lectures:p03.networkproperties.pdf| P03Handouts }} |
|   5   | 26.10.2023 |      RM       | Struktura sítě                                      | {{:courses:b2m32dsaa:lectures:p04.networkstructure.pdf|P04Handouts}} |
|   6   | 02.11.2023 |      RM       | Detekce komunit                                       | {{ :courses:b2m32dsaa:lectures:p05.communitydetection.pdf | P05CommunityDetection.pdf }} |
|   7   | 09.10.2023 |      RM       | Predikce vazeb a inference sítí | {{ :courses:b2m32dsaa:lectures:p06.networkinference.pdf | P06.NetworkInference.pdf }} |
|   8   | 16.11.2023 |      RM       | Specifikační jazyk Alloy | {{ :courses:b2m32dsaa:lectures:p08.alloy.pdf | P08.Alloy.pdf}} |                                                                                   
|   9   | 23.11.2023 |      RM       | Verifikační systém UPPAAL | {{:courses:b2m32dsaa:lectures:p08.uppaal.pdf| P09.UPPAAL.pdf}} |
|  10   | 30.11.2023 |      RM       | Verifikace protokolů  | {{:courses:b2m32dsaa:lectures:p10.protocolverification.pdf|P10.ProtocolVerification.pdf}}  |
|  11   | 07.12.2023 |      RM       | Testování automatů a jejich charakterizační množina | {{:courses:b2m32dsaa:lectures:p11.fsmcheckingsequence.pdf|P11.FsmCheckingSequence.pdf}} |
|  12   | 14.12.2023 |      RM       | Detekční sekvence automatů | {{ :courses:b2m32dsaa:lectures:p12.fsmsequences.pdf | FsmSequences.pdf }} |
|  13   | 21.12.2023 |      RM       | Učení se automatům  | {{ :courses:b2m32dsaa:lectures:p13.fsmlearning.pdf | FsmLearning }} |
|  14   | 11.01.2024 |      RM       | Vývoj sítě a dynamické síťové procesy  | {{ :courses:b2m32dsaa:lectures:p07.networkdynamics.pdf | NetworkDynamics.pdf }} |

/*
|  14   | 12.01.2023 |      RM       | Diagnostika vícevrstvých sítí   | {{:courses:b2m32dsaa:lectures:p14.multilayerdiagnostics.pdf|P14.MultilayerDiagnostics.pdf}} |
*/