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	28.09.2023		státní svátek
2	05.10.2023	RM	Úvod do komplexních sítí	Overview P01Handouts
3	12.10.2023	RM	Základní vlastnosti sítí a modely náhodných grafů	P02Handouts
4	19.10.2023	RM	Charakterizace uzlů sítě	P03Handouts
5	26.10.2023	RM	Struktura sítě	P04Handouts
6	02.11.2023	RM	Detekce komunit	P05CommunityDetection.pdf
7	09.10.2023	RM	Predikce vazeb a inference sítí	P06.NetworkInference.pdf
8	16.11.2023	RM	Specifikační jazyk Alloy	P08.Alloy.pdf
9	23.11.2023	RM	Verifikační systém UPPAAL	P09.UPPAAL.pdf
10	30.11.2023	RM	Verifikace protokolů	P10.ProtocolVerification.pdf
11	07.12.2023	RM	Testování automatů a jejich charakterizační množina	P11.FsmCheckingSequence.pdf
12	14.12.2023	RM	Detekční sekvence automatů	FsmSequences.pdf
13	21.12.2023	RM	Učení se automatům	FsmLearning
14	11.01.2024	RM	Vývoj sítě a dynamické síťové procesy	NetworkDynamics.pdf