Sort by semester Standard sorting Presentation
FI PPJ Principles of programming languages
Name in Czech: Principy programovacích jazyků
master's full-time specialized, language of instruction: Czech Czech
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:IA011Programming Language Semantics A. Kučerazk 2/1/03+2 4Z
FI:IA012Complexity I. Černázk 2/0/13+2 3Z
FI:IV003Algorithms and Data Structures II I. Černázk 2/2/14+2 2Z
FI:IV111Probability in Computer Science V. Řehákzk 2/2/03+2 1P
FI:MA007Mathematical Logic A. Kučerazk 2/1/14+2 1Z
FI:MA012Statistics II O. Pokorazk 2/2/03+2 1-
FI:PV027Optimization T. Brázdilzk 2/1/14+2 2-
FI:SOBHADefence of Thesis D. SvobodaSZk 0/0/0- 4-
FI:SZMGRState Exam (MSc degree) D. SvobodaSZk 0/0/0- 4-
43 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 D. Svobodaz 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:IA008Computational Logic A. Blumensathzk 2/2/03+2 2-
FI:IA010Principles of Programming Languages A. Blumensathzk 2/0/02+2 1Z
FI:IA014Advanced Functional Programming J. Obdržálekzk 2/0/02+2 2Z
13 credits

Pokročilé typování

Absolvovat alespoň 1 předmět z následujícího seznamu.

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA038Types and Proofs A. Blumensathzk 2/0/02+2 2-
FI:IA081Lambda Calculus J. Zlatuškazk 2/0/02+2 2-
8 credits
Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA159Formal Methods for Software Analysis J. Strejčekzk 2/0/02+2 3-
FI:IA174Fundaments of Cryptography P. Novotnýzk 2/0/13+2 3-
FI:PA008Compiler Construction M. Křetínskýzk 3/0/03+2 1-
FI:PA037Compiler Project A. Kučeraz 1/2/14 3-
18 credits

Volba semináře

Získat alespoň 6 kreditů absolvováním předmětů z následujícího seznamu.

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA072Seminar on Verification J. Strejčekk 0/2/02+1 3-
FI:IV115Lab Seminar – ParaDiSe J. Barnatk 0/2/02+1 3-
FI:IV131Lab Seminar – Discrete Methods and Algorithms P. Hliněnýk 0/2/02+1 3-
FI:IV132Lab Seminar – LiVe J. Křetínskýk 0/2/02+1 3-
FI:IV125Lab Seminar – Formela A. Kučerak 0/2/02+1 3-
15 credits

Volitelné kredity