Údaje předmětů z období:podzim 2026jaro 2027
Řazení po semestrech Klasické řazení Prezentace
Plán
FI PPJA Principles of Programming Languages
Název anglicky: Principles of Programming Languages
navazující prezenční se specializací, vyučovací jazyk: angličtina angličtina
Zahrnut v programu: FI N-TEI_A Theoretical Computer Science

Úvodní informace / Pokyny

Obtain at least 120 credits overall and pass the final state exam. Obtain 20 credits from SDIPR course and successfully defend Master's Thesis. Pass all the compulsory and elective courses of the program and selected specialization with the highest possible graduation form (unless explicitly stated otherwise). Fulfil requirements of at least one specialization.

Obligatory courses of the programme / Povinné předměty studijního programu

Kód Název Garant Ukončení Rozsah Kreditů Semestr Profilace
FI:IA006Vybrané kapitoly z teorie automatů M. Křetínskýzk 2/1/03+2 1Z
FI:IA011Sémantiky programovacích jazyků A. Kučerazk 2/1/03+2 4Z
FI:IA012Složitost 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:MA007Matematická logika A. Kučerazk 2/1/14+2 1Z
FI:MA012Statistics II O. Pokorazk 2/2/03+2 1P
FI:PV027Optimization T. Brázdilzk 2/2/03+2 2P
FI:SOBHAObhajoba závěrečné práce D. SvobodaSZk 0/0/00 4-
FI:SZMGRStátní zkouška (magisterský studijní program) D. SvobodaSZk 0/0/00 4-
42 kreditů

Diplomová práce

Obligation to earn 20 credits from the course SDIPR.

Kód Název Garant Ukončení Rozsah Kreditů Semestr Profilace
FI:SDIPRDiplomová práce D. Svobodaz 0/0/020 4-
20 kreditů

Obligatory courses for specialization / Povinné předměty specializace

Kód Název Garant Ukončení Rozsah Kreditů Semestr Profilace
FI:IA008Computational Logic A. Blumensathzk 2/2/03+2 2Z
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 kreditů

Advanced Types

Pass at least 1 course of the following list

Kód Název Garant Ukončení Rozsah Kreditů Semestr Profilace
FI:IA038Types and Proofs A. Blumensathzk 2/0/02+2 2Z
FI:IA081Lambda Calculus J. Zlatuškazk 2/0/02+2 2Z
8 kreditů
Kód Název Garant Ukončení Rozsah Kreditů Semestr Profilace
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:PA008Překladače M. Křetínskýzk 3/0/03+2 1P
FI:PA037Projekt z překladačů A. Kučeraz 1/2/14 3-
18 kreditů

Choice of Seminar

Obtain at least 6 credits by passing courses of the following list

Kód Název Garant Ukončení Rozsah Kreditů Semestr Profilace
FI:IA072Seminar on Verification J. Strejčekk 0/2/02+1 3-
FI:IV115Lab Seminar – AVELAB T. Vojnark 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 kreditů