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
1. semestr
2. semestr
Kód | Název | Ukončení | Kreditů | Profilace | Povinnost |
FI:IA008 | Computational Logic | zk | 3+2 | - | P |
FI:IA014 | Advanced Functional Programming | zk | 2+2 | Z | P |
FI:IA038 | Typy a důkazy | zk | 2+2 | - | P |
FI:IA081 | Lambda calculus | zk | 2+2 | - | P |
FI:IA085 | Satisfiability and Automated Reasoning | zk | 4+2 | - | P |
FI:IV003 | Algorithms and Data Structures II | zk | 3+2 | Z | P |
FI:PA037 | Projekt z překladačů | z | 4 | - | P |
FI:PV027 | Optimization | zk | 4+2 | - | P |
38 kreditů |
3. semestr
4. semestr
Kód | Název | Ukončení | Kreditů | Profilace | Povinnost |
FI:IA011 | Sémantiky programovacích jazyků | zk | 3+2 | Z | P |
FI:IA158 | Real Time Systems | zk | 2+2 | Z | P |
FI:IV010 | Komunikace a paralelismus | zk | 2+2 | Z | P |
FI:SDIPR | Diplomová práce | z | 20 | - | P |
FI:SOBHA | Obhajoba závěrečné práce | SZk | - | - | P |
FI:SZMGR | Státní zkouška (magisterský studijní program) | SZk | - | - | P |
33 kreditů |