Lectures

Topic questions at the exam:DsaQuestionsEN

Week	Date	Lecturer	Lecture Topic	Educational Documents
1	21.09.2022	RM	Introduction to complex networks.	Overview P01Handouts
2	28.09.2022		State Holiday - no lecture
3	05.10.2022	RM	Fundamental characteristics of networks and models of random graphs.	P02Handouts
4	12.10.2022	RM	Network properties	P03Handouts
5	19.10.2022	RM	Network structure identification	P04Handouts
6	26.10.2022	RM	Community detection	P05CommunityDetection.pdf
7	02.11.2022	RM	Ties prediction and network inference	P06.NetworkInference.pdf
8	09.11.2022	RM	Network dynamics and dynamic network processes	P07.NetworkDynamics.pdf
9	16.11.2022	RM	Specification system Alloy	P07.Alloy.pdf
10	23.11.2022	RM	Verification system UPPAAL	UPPAAL.pdf
11	30.11.2022	RM	Protocol verification	ProtocolVerification.pdf
12	07.12.2022	RM	Finite state machines testing	FsmCheckingSequence.pdf
13	14.12.2022	RM	Checking sequences of finite state machines	FsmSequences.pdf
14	11.01.2023	RM	Finite state machine behavior learning	FsmLearning