FI DAM Diskrétní algoritmy a modely
Název anglicky: Discrete algorithms and models
navazující prezenční se specializací, vyučovací jazyk: čeština
Zahrnut v programu: FI N-TEI Teoretická informatika
navazující prezenční se specializací, vyučovací jazyk: čeština
Zahrnut v programu: FI N-TEI Teoretická informatika
1. semestr
Kód | Název | Ukončení | Kreditů | Profilace | Povinnost |
FI:IA006 | Vybrané kapitoly z teorie automatů | zk | 3+2 | Z | P |
FI:IA062 | Randomized Algorithms and Computations | zk | 3+2 | - | P |
FI:IA168 | Algorithmic game theory | zk | 3+2 | Z | P |
FI:IA174 | Fundaments of Cryptography | zk | 3+2 | - | P |
FI:IV111 | Probability in Computer Science | zk | 3+2 | P | P |
PřF:M8190 | Algoritmy teorie čísel | zk | 6 | - | P |
FI:MA007 | Matematická logika | zk | 4+2 | Z | P |
FI:MA010 | Graph Theory | zk | 3+2 | P | P |
FI:MA017 | Geometric Algorithms | zk | 2+2 | - | P |
FI:PV021 | Neural Networks | zk | 4+2 | - | P |
52 kreditů |
2. semestr
Kód | Název | Ukončení | Kreditů | Profilace | Povinnost |
FI:IA008 | Computational Logic | zk | 3+2 | - | P |
FI:IA085 | Satisfiability and Automated Reasoning | zk | 4+2 | - | P |
FI:IV003 | Algorithms and Data Structures II | zk | 3+2 | Z | P |
FI:MA009 | Algebra II | zk | 3+2 | - | P |
FI:MA026 | Advanced Combinatorics | zk | 3+2 | - | P |
FI:PV027 | Optimization | zk | 4+2 | - | P |
32 kreditů |
3. semestr
4. semestr
Kód | Název | Ukončení | Kreditů | Profilace | Povinnost |
FI:IA011 | Sémantiky programovacích jazyků | zk | 3+2 | Z | P |
FI:IA072 | Seminar on Verification | z | 2 | - | P |
FI:IV115 | Seminář laboratoře paralelních a distribuovaných systémů | z | 2 | - | P |
FI:IV125 | Seminář laboratoře Formela | k | 2+1 | - | P |
FI:IV131 | Seminář laboratoře diskrétních metod a algoritmů (DIMEA) | z | 2 | - | P |
FI:SDIPR | Diplomová práce | z | 20 | - | P |
FI:SOBHA | Obhajoba závěrečné práce | SZk | - | - | P |
FI:SZMGR | Státní zkouška (magisterský studijní program) | SZk | - | - | P |
34 kreditů |