FI PPJ Principles of programming languages
Name in Czech: Principy programovacích jazyků
master's full-time specialized
Included in the programme: FI N-TEI Theoretical computer science

1. semestr

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: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
FI:PA008Compiler Construction M. Křetínskýzk 3/0/03+2 Z P
21 credits

2. semestr

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:IA008Computational Logic A. Blumensathzk 2/2/03+2 Z P
FI:IA010Principles of Programming Languages A. Blumensathzk 2/02+2 Z P
FI:IA011Programming Language Semantics A. Kučerazk 2/13+2 Z P
FI:IA014Advanced Functional Programming J. Obdržálekzk 2/02+2 Z P
FI:IA081Lambda calculus J. Zlatuškazk 2/02+2 Z P
FI:IV003Algorithms and Data Structures II I. Černázk 2/2/03+2 Z P
FI:PA037Compiler Project A. Kučeraz 1/2/14 - P
31 credits

3. semestr

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:IA174Fundaments of Cryptography P. Novotnýzk 2/0/13+2 - P
FI:PV021Neural Networks T. Brázdilzk 2/0/24+2 Z P
16 credits

4. semestr

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:IA158Real Time Systems T. Brázdilzk 2/0/13+2 Z P
FI:IV010Communication and Parallelism L. Brimzk 2/02+2 Z P
FI:SDIPRDiploma Thesis P. Matulaz 0/0/020 - P
29 credits