====== Přednášky ====== Okruhy otázek ke zkoušce: {{:courses:b2m32dsaa:lectures:00.dsaquestions.pdf|DsaQuestions}} \\ ^ Týden ^ Datum ^ Přednášející ^ Obsah přednášky ^ Výukové materiály ^ | 1 | 26.09.2024 | RM | Úvod do komplexních sítí | {{:courses:b2m32dsaa:lectures:00.dsaoverview.pdf|Overview}} \\ {{:courses:b2m32dsaa:lectures:p01.introduction.pdf| P01Handouts}} | | 2 | 03.10.2024 | RM | Základní vlastnosti sítí a modely náhodných grafů | {{:courses:b2m32dsaa:lectures:p02.complexnetworks.pdf| P02Handouts}} | | 3 | 10.10.2024 | RM | Charakterizace uzlů sítě | {{:courses:b2m32dsaa:lectures:p03.networkproperties.pdf| P03Handouts }} | | 4 | 17.10.2024 | RM | Struktura sítě | {{:courses:b2m32dsaa:lectures:p04.networkstructure.pdf|P04Handouts}} | | 5 | 24.10.2024 | RM | Detekce komunit | {{ :courses:b2m32dsaa:lectures:p05.communitydetection.pdf | P05CommunityDetection.pdf }} | | 6 | 31.10.2024 | RM | Specifikační jazyk Alloy | {{ :courses:b2m32dsaa:lectures:p08.alloy.pdf | P08.Alloy.pdf}} | | 7 | 07.11.2024 | RM | Verifikační systém UPPAAL | {{:courses:b2m32dsaa:lectures:p08.uppaal.pdf| P09.UPPAAL.pdf}} | | 8 | 14.11.2024 | RM | Verifikace protokolů | {{:courses:b2m32dsaa:lectures:p10.protocolverification.pdf|P10.ProtocolVerification.pdf}} | | 9 | 21.11.2024 | RM | Testování automatů a jejich charakterizační množina | {{:courses:b2m32dsaa:lectures:p11.fsmcheckingsequence.pdf|P11.FsmCheckingSequence.pdf}} | | 10 | 28.11.2024 | MC | Detekční sekvence automatů | {{ :courses:b2m32dsaa:lectures:p12.fsmsequences.pdf | FsmSequences.pdf }} | | 11 | 05.12.2024 | RM | Učení se automatům | {{ :courses:b2m32dsaa:lectures:p13.fsmlearning.pdf | FsmLearning }} | | 12 | 12.12.2024 | RM | Vývoj sítě a dynamické síťové procesy | {{ :courses:b2m32dsaa:lectures:p07.networkdynamics.pdf | NetworkDynamics.pdf }} | | 13 | 19.12.2024 | RM | Diagnostika vícevrstvých sítí | {{:courses:b2m32dsaa:lectures:p14.multilayerdiagnostics.pdf|P14.MultilayerDiagnostics.pdf}} | | 14 | 09.01.2025 | RM | Strojové učení a grafové neuroné sítě | {{ :courses:b2m32dsaa:lectures:p06.networkinference.pdf | ???.pdf }} | /* | 1 | 28.09.2023 | | **státní svátek** | | */