Vybrané partie teoretické informatiky

Přednášky:

Aproximační algoritmy, příslušné třídy složitosti.
(2 přednášky)

Pravděpodobnostní algoritmy, příslušné třídy složitosti.
(2 přednášky)

Paralelní algoritmy, příslušné třídy složitosti.
(2 přednášky)

Distribuované algoritmy; komunikační složitost.
(2 přednášky)

Kvantové výpočty, DNA computing.
(1 přednáška)

Konkurentní systémy, Petriho sítě.
(2 přednášky)

Verifikace systémů (mj. temporální logika, model checking).
(2 přednášky)

Cvičení:


Návrh a analýza konkrétních aproximačních algoritmů.
(2 cvičení)

Návrh a analýza konkrétních pravděpodobnostních algoritmů.
(2 cvičení)

Návrh a analýza konkrétních paralelních algoritmů.
(2 cvičení)

Návrh a analýza konkrétních distribuovaných algoritmů.
(2 cvičení)

Analýza vybraného kvantového či DNA algoritmu.
(1 cvičení)

Popis a analýza konkrétních konkurentních systémů.
(2 cvičení)

Specifikace vybraných vlastností systémů v temporální logice a algoritmy jejich ověření.
(2 cvičení)


Projekty:
Samostatné nastudování a písemné zpracování zadaného tématu,
zpravidla spojené s ústním referátem.