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 |