FI PPJ Principles of programming languages
Name in Czech: Principy programovacích jazyků
master's full-time specialized, language of instruction: Czech Czech
Included in the programme: FI N-TEI Theoretical computer science

Parts of the final state examination and its content

The final state examination consists of two separately classified components: diploma thesis defense and professional final exam. The whole state exam takes about one hour (approximately 30 minutes of defense, 30 minutes of examination). The student has 15 minutes for the presentation of the diploma thesis, another 15 minutes is devoted to the analysis of assessments and discussion. In the oral examination that follows the thesis defense, the student answers the questions of the committee members, usually two or three topics are discussed. At least one question comes from the common basis of the study program and at least one question relates to the student's chosen specialization.

To successfully pass the final exam, the student must be able to explain the basic concepts with which he became acquainted in the profiling subjects of the program, must demonstrate the ability to use basic techniques, methods and concepts explained in profiling subjects, and must be able to respond to relevant supplementary questions or demonstrate in-depth understanding. If the student is not able to meet any of these requirements, the exam is graded as unsatisfactory.

The condition for access to the final exam is the submission of a diploma thesis. In the case of negative reviews on the diploma thesis, the student can give up the defense, accept the evaluation "failed" and go straight to the examination. In the case of unsuccessful defense, it is not possible to withdraw from the examination.

Recommended progress through the study plan

Povinné předměty studijního programu (nhnqyfrp)

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA006Selected topics on automata theory M. Křetínskýzk 2/1/03+2 1Z
5 credits

Logika a odvozování

Absolvovat alespoň 1 předmět z následujícího seznamu.

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA008Computational Logic A. Blumensathzk 2/2/03+2 2-
FI:IA085Satisfiability and Automated Reasoning M. Jonášzk 2/1/14+2 2-
11 credits
Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA011Programming Language Semantics A. Kučerazk 2/13+2 4Z
FI:IA012Complexity I. Černázk 2/0/13+2 3Z
FI:IV003Algorithms and Data Structures II I. Černázk 2/2/03+2 2Z
FI:IV111Probability in Computer Science V. Řehákzk 2/2/03+2 1P
FI:MA007Mathematical Logic A. Kučerazk 2/1/14+2 1Z
FI:PV027Optimization T. Brázdilzk 2/1/14+2 2-
FI:SOBHADefence of Thesis D. SvobodaSZk 0/0/0- 4-
FI:SZMGRState Exam (MSc degree) D. SvobodaSZk 0/0/0- 4-
32 credits

Master's thesis

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

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:SDIPRDiploma Thesis D. Svobodaz 0/0/020 4-
20 credits

Povinné předměty specializace

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA010Principles of Programming Languages A. Blumensathzk 2/02+2 1Z
FI:IA014Advanced Functional Programming J. Obdržálekzk 2/02+2 2Z
8 credits

Pokročilé typování

Absolvovat alespoň 1 předmět z následujícího seznamu.

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA038Types and Proofs J. Zlatuškazk 2/02+2 2-
FI:IA081Lambda calculus J. Zlatuškazk 2/02+2 2-
8 credits
Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA158Real Time Systems T. Brázdilzk 1/0/12+2 4Z
FI:IA174Fundaments of Cryptography P. Novotnýzk 2/0/13+2 3-
FI:IV010Communication and Parallelism L. Brimzk 2/02+2 4Z
FI:PA008Compiler Construction M. Křetínskýzk 3/0/03+2 1-
FI:PA037Compiler Project A. Kučeraz 1/2/14 2-
22 credits

Volitelné kredity