====== Lectures ======
Topic questions at the exam:{{ :courses:be2m32dsaa:lectures:00.dsaquestionsen.pdf |DsaQuestionsEN}}  \\
^ Week ^   Date    ^ Lecturer  ^ Lecture Topic                                                    ^ Educational Documents                      ^
|   1   | 27.09.2023 |      RM       | Introduction to complex networks. | {{:courses:be2m32dsaa:lectures:00.dsaoverview.pdf|Overview}} \\ {{:courses:be2m32dsaa:lectures:p01.introduction.pdf| P01Handouts}}  |
|   2   | 04.10.2023 |      RM       | Fundamental characteristics of networks and models of random graphs.  | {{:courses:b2m32dsaa:lectures:p02.complexnetworks.pdf| P02Handouts}} |
|   3   | 11.10.2023 |      RM       | Network properties     | {{:courses:be2m32dsaa:lectures:p03.networkproperties.pdf| P03Handouts }} |
|   4   | 18.10.2023 |      RM       | Network structure identification                                      | {{:courses:be2m32dsaa:lectures:p04.networkstructure.pdf|P04Handouts}} |
|   5   | 27.10.2023 |      RM       | Community detection                                       | {{ :courses:be2m32dsaa:lectures:p05.communitydetection.pdf | P05CommunityDetection.pdf }} |
|   6   | 01.11.2023 |      RM       | Ties prediction and network inference | {{ :courses:be2m32dsaa:lectures:p06.networkinference.pdf | P06.NetworkInference.pdf }} |
|   7   | 08.11.2023 |      RM       | Specification system Alloy | {{ :courses:be2m32dsaa:lectures:p08.alloy.pdf | P07.Alloy.pdf}} |
|   8   | 15.11.2023 |      RM     |  Verification system UPPAAL | {{ :courses:be2m32dsaa:lectures:p08.uppaal.pdf |UPPAAL.pdf}} |
|   9   | 22.11.2023 |      RM       | Protocol verification | {{ :courses:be2m32dsaa:lectures:p10.protocolverification.pdf | ProtocolVerification.pdf}}|
|  10   | 29.11.2023 |      RM       | Finite state machines testing | {{ :courses:be2m32dsaa:lectures:p11.fsmcheckingsequence.pdf |FsmCheckingSequence.pdf }} |
|  11   | 06.12.2023 |      RM       | Checking sequences of finite state machines  | {{ :courses:be2m32dsaa:lectures:p12.fsmsequences.pdf | FsmSequences.pdf }} |
|  11   | 13.12.2023 |      RM       | Finite state machine behavior learning              | {{ :courses:be2m32dsaa:lectures:p13.fsmlearning.pdf | FsmLearning }} |
|  13   | 20.12.2023 |      RM       | Network dynamics and dynamic network processes | {{ :courses:be2m32dsaa:lectures:p07.networkdynamics.pdf | P07.NetworkDynamics.pdf}}  |                                                                                   
|  14   | 10.01.2024 |      RM       | Multilayer Network Diagnostics   | {{:courses:be2m32dsaa:lectures:p14.multilayerdiagnostics.pdf|P14.MultilayerDiagnostics.pdf}} |