FI DAM Discrete algorithms and models
Name in Czech: Diskrétní algoritmy a modely
master's full-time specialized
Included in the programme: FI N-TEI Theoretical computer science

Povinné předměty studijního programu

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA006Selected topics on automata theory M. Křetínskýzk 2/1/03+2 1Z
FI:MA007Mathematical Logic A. Kučerazk 2/1/14+2 1Z
FI:IV111Probability in Computer Science V. Řehákzk 2/2/03+2 1P
FI:IV003Algorithms and Data Structures II I. Černázk 2/2/03+2 2Z
FI:IA008Computational Logic A. Blumensathzk 2/2/03+2 2Z
FI:IA011Programming Language Semantics A. Kučerazk 2/13+2 2Z
FI:IA012Complexity I. Černázk 2/0/13+2 3Z
FI:PV021Neural Networks T. Brázdilzk 2/0/24+2 3Z
42 credits

Master's thesis

Povinnost získat 20 kreditů z předmětu SDIPR.

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:SDIPRDiploma Thesis P. Matulaz 0/0/020 4-
20 credits

Povinné předměty specializace

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA168Algorithmic game theory T. Brázdilzk 2/02+2 1Z
FI:MA010Graph Theory D. Kráľzk 2/1/03+2 1P
FI:PV027Optimization A. Horákzk 2/0/02+2 1-
FI:MA009Algebra II M. Čadekzk 2/2/03+2 2-
FI:IA101Algorithmics for Hard Problems I. Černázk 2/02+2 3Z
FI:IA174Fundaments of Cryptography P. Novotnýzk 2/0/13+2 3-
27 credits

Volba - pokročilá matematika

Absolvovat alespoň jeden předmět z uvedených.

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA062Randomized Algorithms and Computations J. Gruskazk 2/2/03+2 --
PřF:M8190Number Theoretic Algorithms R. Kučerazk 2/2/06 --
FI:MA015Graph Algorithms J. Obdržálekzk 2/1/03+2 --
FI:MA017Geometric Algorithms M. Čadekzk 2/0/02+2 --
20 credits

Volba - výzkumná laboratoř

Získat alespoň dva kredity z těchto předmětů.

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IV131Seminar of Discrete Methods and Algorithms Laboratory D. Kráľz 0/0/22 --
FI:IA072Seminar on Verification J. Strejčekz 0/2/02 --
FI:IV125Formela lab seminar A. Kučerak 0/2/02+1 --
FI:IV115Parallel and Distributed Laboratory Seminar J. Barnatz 0/22 --
9 credits

Volitelné kredity