Topic questions at the exam:
DsaQuestions
| Week | Date | Lecturer | Lecture Topic | Educational Documents |
|---|---|---|---|---|
| 1 | 22.09.2020 | RM | skipped | |
| 2 | 29.09.2020 | RM | Introduction to complex networks. | Overview P01Handouts |
| 2 | 1.10.2020 | RM | Fundamental characteristics of networks and models of random graphs. | P02Handouts |
| 3 | 06.10.2020 | RM | Network properties | P03Handouts |
| 4 | 13.10.2020 | RM | Network structure identification | P04Handouts |
| 5 | 20.10.2020 | RM | Community detection | P05CommunityDetection.pdf |
| 6 | 27.10.2020 | RM | Ties prediction and network inference | P06.NetworkInference.pdf |
| 7 | 03.11.2020 | RM | Specification system Alloy | P07.Alloy.pdf |
| 8 | 10.11.2020 | RM | Verification system UPPAAL | UPPAAL.pdf |
| 9 | 17.11.2020 | State Holiday - no lecture | ||
| 10 | 24.11.2020 | RM | Protocol verification | ProtocolVerification.pdf |
| 11 | 01.12.2020 | RM | Finite state machines testing | FsmCheckingSequence.pdf |
| 12 | 08.12.2020 | RM | Checking sequences of finite state machines | FsmSequences.pdf |
| 13 | 15.12.2020 | RM | Finite state machine behavior learning | FsmLearning |
| 14 | 05.01.2021 | RM | Network dynamics and dynamic network processes | P07.NetworkDynamics.pdf |