====== Lectures ======
Topic questions at the exam:  
{{:courses:b2m32dsa:lectures:dsaquestions.pdf|DsaQuestions}} \\
^ Week ^   Date    ^ Lecturer  ^ Lecture Topic                                                    ^ Educational Documents                      ^
|   1   | 22.09.2020 |      RM       | skipped  |  |
|   2   | 29.09.2020 |      RM       | Introduction to complex networks.  | {{:courses:b2m32dsa:lectures:dsaoverview.pdf|Overview}} \\ {{:courses:b2m32dsa:lectures:p01.introduction.pdf| P01Handouts}} |
|   2   | 1.10.2020 |      RM       | Fundamental characteristics of networks and models of random graphs.  | {{:courses:b2m32dsa:lectures:p02.complexnetworks.pdf| P02Handouts}} |
|   3   | 06.10.2020 |      RM       | Network properties     | {{:courses:b2m32dsa:lectures:p03.networkproperties.pdf| P03Handouts }} |
|   4   | 13.10.2020 |      RM       | Network structure identification                                      | {{:courses:b2m32dsa:lectures:p04.networkstructure.pdf|P04Handouts}} |
|   5   | 20.10.2020 |      RM       | Community detection                                       | {{ :courses:b2m32dsaa:lectures:p05.communitydetection.pdf | P05CommunityDetection.pdf }} |
|   6   | 27.10.2020 |      RM       | Ties prediction and network inference | {{ :courses:b2m32dsaa:lectures:p06.networkinference.pdf | P06.NetworkInference.pdf }} |
|   7   | 03.11.2020 |      RM       | Specification system Alloy | {{ :courses:be2m32dsaa:lectures:alloy.pdf | P07.Alloy.pdf}} |                                                                                   
|   8   | 10.11.2020 |      RM       | Verification system UPPAAL | {{ :courses:be2m32dsaa:lectures:uppaal.pdf |UPPAAL.pdf}} |
|   9   | 17.11.2020 |           | State Holiday - no lecture  | |
|  10   | 24.11.2020 |      RM       | Protocol verification | {{ :courses:be2m32dsaa:lectures:protocolverification.pdf | ProtocolVerification.pdf}}|
|  11   | 01.12.2020 |      RM       | Finite state machines testing | {{ :courses:be2m32dsaa:lectures:fsmcheckingsequence.pdf |FsmCheckingSequence.pdf }} |
|  12   | 08.12.2020 |      RM       | Checking sequences of finite state machines  | {{ :courses:b2m32dsaa:lectures:p12.fsmsequences.pdf | FsmSequences.pdf }} |
|  13   | 15.12.2020 |      RM       | Finite state machine behavior learning              | {{ :courses:b2m32dsaa:lectures:p13.fsmlearning.pdf | FsmLearning }} |
|  14   | 05.01.2021 |      RM       | Network dynamics and dynamic network processes  | {{ :courses:be2m32dsaa:lectures:p07.networkdynamics.pdf | P07.NetworkDynamics.pdf}} |