Passing the study plan
FI DAM Discrete algorithms and models
Name in Czech: Diskrétní algoritmy a modely
master's full-time specialized, language of instruction: Czech
Included in the programme: FI N-TEI Theoretical computer science
master's full-time specialized, language of instruction: Czech
Included in the programme: FI N-TEI Theoretical computer science
Semester 1
Code | Name | Type of Completion | Credits | Profile Cat. | Requirement |
FI:IA006 | Selected topics on automata theory | 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 | Number Theoretic Algorithms | zk | 6 | - | P |
FI:MA007 | Mathematical Logic | 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 credits |
Semester 2
Code | Name | Type of Completion | Credits | Profile Cat. | Requirement |
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 credits |
Semester 3
Semester 4
Code | Name | Type of Completion | Credits | Profile Cat. | Requirement |
FI:IA011 | Programming Language Semantics | zk | 3+2 | Z | P |
FI:IA072 | Seminar on Verification | z | 2 | - | P |
FI:IV115 | Parallel and Distributed Laboratory Seminar | z | 2 | - | P |
FI:IV125 | Formela lab seminar | k | 2+1 | - | P |
FI:IV131 | Seminar of Discrete Methods and Algorithms Laboratory | z | 2 | - | P |
FI:SDIPR | Diploma Thesis | z | 20 | - | P |
FI:SOBHA | Defence of Thesis | SZk | - | - | P |
FI:SZMGR | State Exam (MSc degree) | SZk | - | - | P |
34 credits |