Údaje předmětů z období:podzim 2025jaro 2026
Řazení po semestrech Klasické řazení Prezentace
FI FAPS Formální analýza počítačových systémů
Název anglicky: Formal analysis of computer systems
navazující prezenční se specializací, vyučovací jazyk: čeština čeština
Zahrnut v programu: FI N-TEI Teoretická informatika

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 1-
FI:PV027Optimization T. Brázdilzk 2/1/14+2 2-
FI:SOBHAObhajoba závěrečné práce D. SvobodaSZk 0/0/0- 4-
FI:SZMGRStátní zkouška (magisterský studijní program) D. SvobodaSZk 0/0/0- 4-
43 kreditů

Diplomová práce

Povinnost získat 20 kreditů z předmětu SDIPR.

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

Povinné předměty specializace

Kód Název Garant Ukončení Rozsah Kreditů Semestr Profilace
FI:IA023Petriho sítě A. Kučerazk 2/0/02+2 2Z
FI:IA085Satisfiability and Automated Reasoning M. Jonášzk 2/1/14+2 2-
FI:IA159Formal Methods for Software Analysis J. Strejčekzk 2/0/02+2 3Z
FI:IA168Algorithmic Game Theory T. Brázdilzk 2/0/13+2 1Z
FI:IA169Model Checking J. Strejčekzk 2/1/03+2 2Z
FI:IA175Algorithms for Quantitative Verification J. Křetínskýzk 2/1/14+2 4-
FI:IV120Spojité a hybridní systémy D. Šafránekzk 2/1/03+2 1Z
FI:PA013Software Testing and Analysis T. Vojnarzk 2/0/13+2 2-
40 kreditů

Volba semináře

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

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 – 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 kreditů

Volitelné kredity

Absolvovat další předměty tak, aby celkový zisk kreditů byl minimálně 120 kreditů za celé studium tohoto studijního programu.