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 |