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
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 | Ukončení | Kreditů | Semestr | Profilace |
FI:IA006 | Vybrané kapitoly z teorie automatů | zk | 3+2 | 1 | Z |
5 kreditů |
Logika a odvozování
Absolvovat alespoň 1 předmět z následujícího seznamu.
Kód | Název | Ukončení | Kreditů | Semestr | Profilace |
FI:IA011 | Sémantiky programovacích jazyků | zk | 3+2 | 4 | Z |
FI:IA012 | Složitost | zk | 3+2 | 3 | Z |
FI:IV003 | Algorithms and Data Structures II | zk | 3+2 | 2 | Z |
FI:IV111 | Probability in Computer Science | zk | 3+2 | 1 | P |
FI:MA007 | Matematická logika | zk | 4+2 | 1 | Z |
FI:PV027 | Optimization | zk | 4+2 | 2 | - |
FI:SOBHA | Obhajoba závěrečné práce | SZk | - | 4 | - |
FI:SZMGR | Státní zkouška (magisterský studijní program) | SZk | - | 4 | - |
32 kreditů |
Diplomová práce
Povinnost získat 20 kreditů z předmětu SDIPR.
Kód | Název | Ukončení | Kreditů | Semestr | Profilace |
FI:SDIPR | Diplomová práce | z | 20 | 4 | - |
20 kreditů |
Povinné předměty specializace
Pokročilé typování
Absolvovat alespoň 1 předmět z následujícího seznamu.
Volitelné kredity
Absolvovat další předměty tak, aby celkový zisk kreditů byl minimálně 120 kreditů za celé studium tohoto studijního programu.