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	22.09.2022	RM	Úvod do komplexních sítí	Overview P01Handouts
2	29.09.2022	RM	Základní vlastnosti sítí a modely náhodných grafů	P02Handouts
3	06.10.2022	RM	Charakterizace uzlů sítě	P03Handouts
4	13.10.2022	RM	Struktura sítě	P04Handouts
5	20.10.2022	RM	Detekce komunit	P05CommunityDetection.pdf
6	27.10.2022	RM	Predikce vazeb a inference sítí	P06.NetworkInference.pdf
7	03.11.2022	RM	Specifikační jazyk Alloy	P08.Alloy.pdf
8	10.11.2022	RM	Verifikační systém UPPAAL	P09.UPPAAL.pdf
9	17.11.2022		state holidays
10	24.11.2022	RM	Verifikace protokolů	P10.ProtocolVerification.pdf
11	01.12.2022	RM	Testování automatů a jejich charakterizační množina	P11.FsmCheckingSequence.pdf
12	08.12.2022	RM	Detekční sekvence automatů	FsmSequences.pdf
13	15.12.2022	RM	Učení se automatům	FsmLearning
14	12.01.2023	RM	Vývoj sítě a dynamické síťové procesy	NetworkDynamics.pdf