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í
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:MA007Matematická logika A. Kučerazk 2/13+2 1Z
FI:IV111Probability in Computer Science V. Řehákzk 2/2/03+2 1P
FI:IV003Algorithms and Data Structures II I. Černázk 2/2/03+2 2Z
FI:IA008Computational Logic A. Blumensathzk 2/2/03+2 2Z
FI:IA011Sémantiky programovacích jazyků A. Kučerazk 2/13+2 2Z
FI:IA012Složitost I. Černázk 2/02+2 3Z
FI:PV021Neural Networks T. Brázdilzk 2/0/24+2 3Z
40 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 P. Matulaz 0/0/020 4-
20 kreditů

Povinné předměty specializace

Kód Název Garant Ukončení Rozsah Kreditů Semestr Profilace
FI:IA168Algorithmic game theory T. Brázdilzk 2/02+2 1Z
FI:IA169System Verification and Assurance J. Barnatzk 2/0/24+2 1Z
FI:IA023Petriho sítě A. Kučerazk 2/02+2 2Z
FI:IA159Formal Verification Methods J. Strejčekzk 2/02+2 2Z
FI:IV120Spojité a hybridní systémy D. Šafránekzk 2/13+2 3Z
FI:PV260Software Quality B. Bühnovák 2/2/14+1 4Z
28 kreditů

Alespoň 4 kredity z následujících předmětů

Kód Název Garant Ukončení Rozsah Kreditů Semestr Profilace
FI:IA072Seminar on Verification J. Strejčekz 0/2/02 3-
FI:IV115Seminář laboratoře paralelních a distribuovaných systémů J. Barnatz 0/22 3-
FI:IV125Seminář laboratoře Formela A. Kučerak 0/2/02+1 3-
FI:IV131Seminář laboratoře diskrétních metod a algoritmů (DIMEA) D. Kráľz 0/0/22 3-
9 kreditů

Volitelné kredity