Průchod studijním plánem

Zobrazení údajů

FI PPJ Principy programovacích jazyků

Název anglicky: Principles of programming languages
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:IA006	Vybrané kapitoly z teorie automatů	M. Křetínský	zk	2/1/0	3+2	1	Z
FI:MA007	Matematická logika	A. Kučera	zk	2/1/1	4+2	1	Z
FI:IV111	Probability in Computer Science	V. Řehák	zk	2/2/0	3+2	1	P
FI:IV003	Algorithms and Data Structures II	I. Černá	zk	2/2/0	3+2	2	Z
FI:IA008	Computational Logic	A. Blumensath	zk	2/2/0	3+2	2	Z
FI:IA011	Sémantiky programovacích jazyků	A. Kučera	zk	2/1	3+2	2	Z
FI:IA012	Složitost	I. Černá	zk	2/0/1	3+2	3	Z
FI:PV021	Neural Networks	T. Brázdil	zk	2/0/2	4+2	3	Z
					42 kreditů

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

Kód	Název	Garant	Ukončení	Rozsah	Kreditů	Semestr	Profilace
FI:PA008	Překladače	M. Křetínský	zk	3/0/0	3+2	1	Z
FI:IA010	Principles of Programming Languages	A. Blumensath	zk	2/0	2+2	2	Z
FI:IA014	Advanced Functional Programming	J. Obdržálek	zk	2/0	2+2	2	Z
FI:IA081	Lambda calculus	J. Zlatuška	zk	2/0	2+2	2	Z
FI:PA037	Projekt z překladačů	A. Kučera	z	1/2/1	4	2	-
FI:IA174	Fundaments of Cryptography	P. Novotný	zk	2/0/1	3+2	3	-
FI:IA158	Real Time Systems	T. Brázdil	zk	1/0/1	2+2	4	Z
FI:IV010	Komunikace a paralelismus	L. Brim	zk	2/0	2+2	4	Z
					34 kreditů

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