Přednášky

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