Údaje předmětů z období:podzim 2025jaro 2026
Řazení po semestrech Klasické řazení Prezentace
FI PPJ Principy programovacích jazyků
Název anglicky: Principles of programming languages
navazující prezenční se specializací, vyučovací jazyk: čeština čeština
Zahrnut v programu: FI N-TEI Teoretická informatika

1. semestr

Kód Název Garant Ukončení Rozsah Kreditů Profilace Povinnost
FI:IA006Vybrané kapitoly z teorie automatů M. Křetínskýzk 2/1/03+2 Z P
FI:IA010Principles of Programming Languages A. Blumensathzk 2/0/02+2 Z P
FI:IV111Probability in Computer Science V. Řehákzk 2/2/03+2 P P
FI:MA007Matematická logika A. Kučerazk 2/1/14+2 Z P
FI:MA012Statistics II O. Pokorazk 2/2/03+2 - P
FI:PA008Překladače M. Křetínskýzk 3/0/03+2 - P
30 kreditů

2. semestr

Kód Název Garant Ukončení Rozsah Kreditů Profilace Povinnost
FI:IA008Computational Logic A. Blumensathzk 2/2/03+2 - P
FI:IA014Advanced Functional Programming J. Obdržálekzk 2/0/02+2 Z P
FI:IA038Types and Proofs A. Blumensathzk 2/0/02+2 - P
FI:IA081Lambda Calculus J. Zlatuškazk 2/0/02+2 - P
FI:IV003Algorithms and Data Structures II I. Černázk 2/2/14+2 Z P
FI:PV027Optimization T. Brázdilzk 2/1/14+2 - P
29 kreditů

3. semestr

Kód Název Garant Ukončení Rozsah Kreditů Profilace Povinnost
FI:IA012Složitost I. Černázk 2/0/13+2 Z P
FI:IA072Seminar on Verification J. Strejčekk 0/2/02+1 - P
FI:IA159Formal Methods for Software Analysis J. Strejčekzk 2/0/02+2 - P
FI:IA174Fundaments of Cryptography P. Novotnýzk 2/0/13+2 - P
FI:IV115Lab Seminar – ParaDiSe J. Barnatk 0/2/02+1 - P
FI:IV125Lab Seminar – Formela A. Kučerak 0/2/02+1 - P
FI:IV131Lab Seminar – Discrete Methods and Algorithms P. Hliněnýk 0/2/02+1 - P
FI:IV132Lab Seminar – LiVe J. Křetínskýk 0/2/02+1 - P
FI:PA037Projekt z překladačů A. Kučeraz 1/2/14 - P
33 kreditů

4. semestr

Kód Název Garant Ukončení Rozsah Kreditů Profilace Povinnost
FI:IA011Sémantiky programovacích jazyků A. Kučerazk 2/1/03+2 Z P
FI:SDIPRDiplomová práce D. Svobodaz 0/0/020 - P
FI:SOBHAObhajoba závěrečné práce D. SvobodaSZk 0/0/0- - P
FI:SZMGRStátní zkouška (magisterský studijní program) D. SvobodaSZk 0/0/0- - P
25 kreditů