====== Lectures ======
Topic questions at the exam:{{ :courses:be2m32dsaa:lectures:dsaquestionsen.pdf |DsaQuestionsEN}}  \\
^ Week ^   Date    ^ Lecturer  ^ Lecture Topic                                                    ^ Educational Documents                      ^
|   1   | 21.09.2021 |      RM       | Introduction to complex networks. | {{:courses:b2m32dsa:lectures:dsaoverview.pdf|Overview}} \\ {{:courses:b2m32dsa:lectures:p01.introduction.pdf| P01Handouts}}  |
|   2   | 28.09.2021 |             | State Holiday - no lecture  | |
|   3   | 05.10.2021 |      RM       | Fundamental characteristics of networks and models of random graphs.  | {{:courses:b2m32dsa:lectures:p02.complexnetworks.pdf| P02Handouts}} |
|   4   | 12.10.2021 |      RM       | Network properties     | {{:courses:b2m32dsa:lectures:p03.networkproperties.pdf| P03Handouts }} |
|   5   | 10.10.2021 |      RM       | Network structure identification                                      | {{:courses:b2m32dsa:lectures:p04.networkstructure.pdf|P04Handouts}} |
|   6   | 26.10.2021 |      RM       | Community detection                                       | {{ :courses:b2m32dsaa:lectures:p05.communitydetection.pdf | P05CommunityDetection.pdf }} |
|   7   | 02.11.2021 |      RM       | Ties prediction and network inference | {{ :courses:b2m32dsaa:lectures:p06.networkinference.pdf | P06.NetworkInference.pdf }} |
|   8   | 09.11.2021 |      RM       | Network dynamics and dynamic network processes | {{ :courses:be2m32dsaa:lectures:p07.networkdynamics.pdf | P07.NetworkDynamics.pdf}}  |                                                                                   
|   9   | 16.11.2021 |      RM       | Specification system Alloy | {{ :courses:be2m32dsaa:lectures:alloy.pdf | P07.Alloy.pdf}} |
|  10   | 23.11.2021 |      RM     |  Verification system UPPAAL | {{ :courses:be2m32dsaa:lectures:uppaal.pdf |UPPAAL.pdf}} |
|  11   | 30.11.2021 |      RM       | Protocol verification | {{ :courses:be2m32dsaa:lectures:protocolverification.pdf | ProtocolVerification.pdf}}|
|  12   | 07.12.2021 |      RM       | Finite state machines testing | {{ :courses:be2m32dsaa:lectures:fsmcheckingsequence.pdf |FsmCheckingSequence.pdf }} |
|  13   | 14.12.2021 |      RM       | Checking sequences of finite state machines  | {{ :courses:b2m32dsaa:lectures:p12.fsmsequences.pdf | FsmSequences.pdf }} |
|  14   | 04.01.2021 |      RM       | Finite state machine behavior learning              | {{ :courses:b2m32dsaa:lectures:p13.fsmlearning.pdf | FsmLearning }} |