Okruhy otázek ke zkoušce:
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í | Overview P01Handouts |
| 2 | 10.10.2017 | RM | Základní vlastnosti sítí a modely náhodných grafů | P02Handouts |
| 3 | 17.10.2017 | RM | Charakterizace uzlů sítě | P03Handouts |
| 4 | 24.10.2017 | RM | Struktura sítě | P04Handouts |
| 5 | 31.10.2017 | RM | Detekce komunit | P05Handouts |
| 6 | 07.11.2017 | RM | Specifikační jazyk Alloy | P06.Alloy.pdf |
| 7 | 14.11.2017 | přednáška se nekoná | ||
| 8 | 21.11.2017 | RM | Verifikační systém UPPAAL | P08.UPPAAL.pdf |
| 9 | 28.11.2017 | přednáška se nekoná | ||
| 10 | 05.12.2017 | RM | Verifikace protokolů | P10.ProtocolVerification.pdf |
| 11 | 12.12.2017 | RM | Detekční sekvence automatů | P11.FsmCheckingSequence.pdf |
| 12 | 19.12.2017 | RM | Učení se automatům | P12.FsmLearning.pdf |
| 13 | 02.01.2018 | RM | Učení se automatům II | 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í | P14.MultilayerDiagnostics.pdf |