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	26.09.2024	RM	Úvod do komplexních sítí	Overview P01Handouts
2	03.10.2024	RM	Základní vlastnosti sítí a modely náhodných grafů	P02Handouts
3	10.10.2024	RM	Charakterizace uzlů sítě	P03Handouts
4	17.10.2024	RM	Struktura sítě	P04Handouts
5	24.10.2024	RM	Detekce komunit	P05CommunityDetection.pdf
6	31.10.2024	RM	Predikce vazeb a inference sítí	P06.NetworkInference.pdf
7	07.11.2024	RM	Specifikační jazyk Alloy	P08.Alloy.pdf
8	14.11.2024	RM	Verifikační systém UPPAAL	P09.UPPAAL.pdf
9	21.11.2024	RM	Verifikace protokolů	P10.ProtocolVerification.pdf
10	28.11.2024	RM	Testování automatů a jejich charakterizační množina	P11.FsmCheckingSequence.pdf
11	05.12.2024	RM	Detekční sekvence automatů	FsmSequences.pdf
12	12.12.2024	RM	Učení se automatům	FsmLearning
13	19.12.2024	RM	Vývoj sítě a dynamické síťové procesy	NetworkDynamics.pdf