Formální analýza počítačových systémů (studijní plán)

Zobrazení údajů

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

Zahrnut v programu: FI N-TEI Teoretická informatika

Povinné předměty studijního programu (xpdyurba)

Kód	Název	Garant	Ukončení	Rozsah	Kreditů	Semestr	Profilace
FI:IA006	Vybrané kapitoly z teorie automatů	M. Křetínský	zk	2/1/0	3+2	1	Z
					5 kreditů

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

Kód	Název	Garant	Ukončení	Rozsah	Kreditů	Semestr	Profilace
FI:IA008	Computational Logic	A. Blumensath	zk	2/2/0	3+2	2	-
FI:IA085	Satisfiability and Automated Reasoning	M. Jonáš	zk	2/1/1	4+2	2	-
					11 kreditů

Kód	Název	Garant	Ukončení	Rozsah	Kreditů	Semestr	Profilace
FI:IA011	Sémantiky programovacích jazyků	A. Kučera	zk	2/1/0	3+2	4	Z
FI:IA012	Složitost	I. Černá	zk	2/0/1	3+2	3	Z
FI:IV003	Algorithms and Data Structures II	I. Černá	zk	2/2/0	3+2	2	Z
FI:IV111	Probability in Computer Science	V. Řehák	zk	2/2/0	3+2	1	P
FI:MA007	Matematická logika	A. Kučera	zk	2/1/1	4+2	1	Z
FI:PV027	Optimization	T. Brázdil	zk	2/1/1	4+2	2	-
FI:SOBHA	Obhajoba závěrečné práce	D. Svoboda	SZk	0/0/0	-	4	-
FI:SZMGR	Státní zkouška (magisterský studijní program)	D. Svoboda	SZk	0/0/0	-	4	-
					32 kreditů

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

Kód	Název	Garant	Ukončení	Rozsah	Kreditů	Semestr	Profilace
FI:IA023	Petriho sítě	A. Kučera	zk	2/0/0	2+2	2	Z
FI:IA085	Satisfiability and Automated Reasoning	M. Jonáš	zk	2/1/1	4+2	2	-
FI:IA159	Formal Methods for Software Analysis	J. Strejček	zk	2/0/0	2+2	3	Z
FI:IA168	Algorithmic game theory	T. Brázdil	zk	2/0/1	3+2	1	Z
FI:IA169	Model Checking	J. Strejček	zk	2/1/0	3+2	2	Z
FI:IA175	Algorithms for Quantitative Verification	J. Křetínský	zk	2/1/1	4+2	4	-
FI:IV120	Spojité a hybridní systémy	D. Šafránek	zk	2/1/0	3+2	1	Z
					35 kreditů

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:IA072	Seminar on Verification	J. Strejček	z	0/2/0	2	3	-
FI:IV115	Seminář laboratoře paralelních a distribuovaných systémů	J. Barnat	z	0/2/0	2	3	-
FI:IV131	Seminář laboratoře diskrétních metod a algoritmů (DIMEA)	D. Kráľ	z	0/0/2	2	3	-
FI:IV125	Seminář laboratoře Formela	A. Kučera	k	0/2/0	2+1	3	-
					9 kreditů

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