Principy programovacích jazyků (studijní plán)

Zobrazení údajů

FI PPJ Principy programovacích jazyků

Název anglicky: Principles of programming languages
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 (nhnqyfrp)

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:IA011	Sémantiky programovacích jazyků	M. Křetínský	zk	2/1	3+2	4	Z
FI:IA012	Složitost	M. Křetínský	zk	2/0	2+2	3	Z
FI:IV003	Algoritmy a datové struktury II	M. Křetínský	zk	2/2	4+2	2	Z
FI:IV111	Probability in Computer Science	M. Křetínský	zk	2/2/0	4+2	1	P
FI:MA007	Matematická logika	M. Křetínský	zk	2/1	3+2	1	Z
FI:PV027	Optimalizace	A. Horák	zk	2/0	2+2	2	-
FI:SOBHA	Obhajoba závěrečné práce	P. Matula	SZk	0/0	-	4	-
FI:SZMGR	Státní zkouška (magisterský studijní program)	P. Matula	SZk	0/0	-	4	-
					30 kreditů

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

Kód	Název	Garant	Ukončení	Rozsah	Kreditů	Semestr	Profilace
FI:IA010	Principles of Programming Languages	M. Křetínský	zk	2/0	2+2	1	Z
FI:IA014	Advanced Functional Programming	M. Křetínský	zk	2/0	2+2	2	Z
					8 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:IA159	Formal Verification Methods	M. Křetínský	zk	2/0	2+2	3	-
FI:IA174		-	-	0/0	-	3	-
FI:IV010	Komunikace a paralelismus	M. Křetínský	zk	2/0	2+2	4	Z
FI:PA008	Překladače	M. Křetínský	zk	3/0	3+2	1	-
FI:PA037	Projekt z překladačů	M. Křetínský	z	0/2	2	3	-
					15 kreditů

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