CourseWare Wiki
Switch Term
Winter 2023 / 2024
Winter 2022 / 2023
Winter 2021 / 2022
Winter 2020 / 2021
Winter 2019 / 2020
Search
Log In
b231
courses
b2m32dsaa
lectures
Warning
This page is located in archive.
Přednášky
Okruhy otázek ke zkoušce:
DsaQuestions
Týden
Datum
Přednášející
Obsah přednášky
Výukové materiály
1
28.09.2023
státní svátek
2
05.10.2023
RM
Úvod do komplexních sítí
Overview
P01Handouts
3
12.10.2023
RM
Základní vlastnosti sítí a modely náhodných grafů
P02Handouts
4
19.10.2023
RM
Charakterizace uzlů sítě
P03Handouts
5
26.10.2023
RM
Struktura sítě
P04Handouts
6
02.11.2023
RM
Detekce komunit
P05CommunityDetection.pdf
7
09.10.2023
RM
Predikce vazeb a inference sítí
P06.NetworkInference.pdf
8
16.11.2023
RM
Specifikační jazyk Alloy
P08.Alloy.pdf
9
23.11.2023
RM
Verifikační systém UPPAAL
P09.UPPAAL.pdf
10
30.11.2023
RM
Verifikace protokolů
P10.ProtocolVerification.pdf
11
07.12.2023
RM
Testování automatů a jejich charakterizační množina
P11.FsmCheckingSequence.pdf
12
14.12.2023
RM
Detekční sekvence automatů
FsmSequences.pdf
13
21.12.2023
RM
Učení se automatům
FsmLearning
14
11.01.2024
RM
Vývoj sítě a dynamické síťové procesy
NetworkDynamics.pdf
courses/b2m32dsaa/lectures/start.txt
· Last modified: 2023/10/18 00:16 by
marikr