Lectures

Topic questions at the exam:DsaQuestionsEN

Week	Date	Lecturer	Lecture Topic	Educational Documents
1	21.09.2021	RM	Introduction to complex networks.	Overview P01Handouts
2	28.09.2021		State Holiday - no lecture
3	05.10.2021	RM	Fundamental characteristics of networks and models of random graphs.	P02Handouts
4	12.10.2021	RM	Network properties	P03Handouts
5	10.10.2021	RM	Network structure identification	P04Handouts
6	26.10.2021	RM	Community detection	P05CommunityDetection.pdf
7	02.11.2021	RM	Ties prediction and network inference	P06.NetworkInference.pdf
8	09.11.2021	RM	Network dynamics and dynamic network processes	P07.NetworkDynamics.pdf
9	16.11.2021	RM	Specification system Alloy	P07.Alloy.pdf
10	23.11.2021	RM	Verification system UPPAAL	UPPAAL.pdf
11	30.11.2021	RM	Protocol verification	ProtocolVerification.pdf
12	07.12.2021	RM	Finite state machines testing	FsmCheckingSequence.pdf
13	14.12.2021	RM	Checking sequences of finite state machines	FsmSequences.pdf
14	04.01.2021	RM	Finite state machine behavior learning	FsmLearning