Passing the study plan
FI PPJ Principles of programming languages
Name in Czech: Principy programovacích jazyků
master's full-time specialized, language of instruction: Czech
Included in the programme: FI N-TEI Theoretical computer science
master's full-time specialized, language of instruction: Czech
Included in the programme: FI N-TEI Theoretical computer science
Semester 1
Code | Name | Type of Completion | Credits | Profile Cat. | Requirement |
FI:IA006 | Selected topics on automata theory | zk | 3+2 | Z | P |
FI:IA010 | Principles of Programming Languages | zk | 2+2 | Z | P |
FI:IV111 | Probability in Computer Science | zk | 3+2 | P | P |
FI:MA007 | Mathematical Logic | zk | 4+2 | Z | P |
FI:PA008 | Compiler Construction | zk | 3+2 | - | P |
25 credits |
Semester 2
Code | Name | Type of Completion | Credits | Profile Cat. | Requirement |
FI:IA008 | Computational Logic | zk | 3+2 | - | P |
FI:IA014 | Advanced Functional Programming | zk | 2+2 | Z | P |
FI:IA038 | Types and Proofs | 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 | Compiler Project | z | 4 | - | P |
FI:PV027 | Optimization | zk | 4+2 | - | P |
38 credits |
Semester 3
Semester 4
Code | Name | Type of Completion | Credits | Profile Cat. | Requirement |
FI:IA011 | Programming Language Semantics | zk | 3+2 | Z | P |
FI:IA158 | Real Time Systems | zk | 2+2 | Z | P |
FI:IV010 | Communication and Parallelism | zk | 2+2 | Z | P |
FI:SDIPR | Diploma Thesis | z | 20 | - | P |
FI:SOBHA | Defence of Thesis | SZk | - | - | P |
FI:SZMGR | State Exam (MSc degree) | SZk | - | - | P |
33 credits |