FI KVM Quantum and Other Nonclassical Computational Models
Name in Czech: Kvantové a jiné neklasické výpočetní modely
master's full-time specialized, language of instruction: Czech Czech
Included in the programme: FI N-TEI Theoretical computer science

Semester 1

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:IA006Selected topics on automata theory M. Křetínskýzk 2/1/03+2 Z P
FI:IA066Introduction to Quantum Computing V. Musilzk 2/0/02+2 Z P
FI:IV100Parallel and distributed computations I. Černázk 2/0/02+2 Z P
FI:IV111Probability in Computer Science V. Řehákzk 2/2/03+2 P P
FI:MA007Mathematical Logic A. Kučerazk 2/1/14+2 Z P
24 credits

Semester 2

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:IA008Computational Logic A. Blumensathzk 2/2/03+2 - P
FI:IA062Randomized Algorithms and Computations D. Kráľzk 2/2/03+2 Z P
FI:IA082Physical concepts of quantum information processing M. Zimanzk 2/0/02+2 Z P
FI:IA085Satisfiability and Automated Reasoning M. Jonášzk 2/1/14+2 - P
FI:IV003Algorithms and Data Structures II I. Černázk 2/2/03+2 Z P
FI:PV027Optimization T. Brázdilzk 2/1/14+2 - P
31 credits

Semester 3

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:IA012Complexity I. Černázk 2/0/13+2 Z P
FI:IA101Algorithmics for Hard Problems I. Černázk 2/02+2 Z P
FI:IA174Fundaments of Cryptography P. Novotnýzk 2/0/13+2 P P
FI:PV021Neural Networks T. Brázdilzk 2/0/24+2 - P
20 credits

Semester 4

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:IA011Programming Language Semantics A. Kučerazk 2/13+2 Z P
FI:PV056Machine Learning and Data Mining L. Popelínskýzk 2/0/13+2 - P
FI:SDIPRDiploma Thesis D. Svobodaz 0/0/020 - P
FI:SOBHADefence of Thesis D. SvobodaSZk 0/0/0- - P
FI:SZMGRState Exam (MSc degree) D. SvobodaSZk 0/0/0- - P
30 credits