Department of Theoretical Computer Science

Teaching

Bachelor specializations

Computer Science (version for Czech students) Computer Science

Master specializations

Programming Languages (version for Czech students) Programming Languages Computer Science (version for Czech students) Computer Science
Code Course name Credits
BIE-AG1.21 Algorithms and Graphs 1 5
BIE-AG2.21 Algorithms and Graphs 2 5
BIE-AX2 Algorithms and Graphs 2 No Implementation 4
BIE-AX1 Algorithms and Graphs No Implementation 4
BIE-AX1.24 Algorithms and Graphs No Implementation 5
BI-AG1.21 Algorithms and Graphs 1 5
BI-AX1 Algorithms and Graphs 1 5
BIK-AG1.21 Algorithms and Graphs 1 5
BI-AG2.21 Algorithms and Graphs 2 5
BI-AVI.21 Algorithms visually 4
BIE-AAG.21 Automata and Grammars 5
BI-AAG.21 Automata and Grammars 5
BIK-AAG.21 Automata and Grammars 5
BIE-CCN Compiler Construction 5
BI-DAS Data Structures 5
BI-EP1 Effective programming 1 4
BI-EP1.24 Effective programming 1 4
BI-EP2 Efficient Programming 2 4
BI-CSI Introduction to Computer Science 2
BIE-CSI Introduction to Computer Science 2
BI-ICS Introduction to Computer Science 2
BI-ICS.18 Introduction to Computer Science 3
BIE-OOP.21 Object-Oriented Programming 5
BIK-OOP.21 Object-Oriented Programming 5
BI-OOP.21 Object-Oriented Programming 5
BI-ORL Operations Research and Linear Programming 5
BIE-PJP.21 Programming Languages and Compilers 5
BIE-PPA Programming Paradigms 5
BIE-PPA.21 Programming Paradigms 5
BIE-PA1.21 Programming and Algorithmics 1 7
BIE-PA2.21 Programming and Algorithmics 2 7
BI-PJP.21 Programming Languages and Compilers 5
BIK-PPA Programming Paradigms 5
BIK-PPA.21 Programming Paradigms 5
BI-PPA.21 Programming Paradigms 5
BI-ACM2 Programming Practices 2 5
BI-ACM3 Programming Practices 3 5
BI-ACM4 Programming Practices 4 5
BIK-PA1.21 Programming and Algorithmics 1 7
BI-PA1.21 Programming and Algorithmics 1 7
BIK-PA2.21 Programming and Algorithmics 2 7
BI-PA2.21 Programming and Algorithmics 2 7
BI-PMA Programming in Mathematica 4
BIE-VAK.21 Selected Combinatorics Applications 3
BIE-SEG Systems Engineering -
BI-SEG Systems Engineering -
BI-TS1 Theoretical Seminar I 4
BI-TS2 Theoretical Seminar II 4
BI-TS3 Theoretical Seminar III 4
BI-TS4 Theoretical Seminar IV 4
BI-CCN Compiler Construction 5
BI-TEX TeX and Typography 4
BI-VAK.21 Selected Applications of Combinatorics 3
Code Course name Credits
NIE-APT Advanced Program Testing 5
NI-ATH AlgorithmicTheories of Games 4
UNI-ADS Algorithms and data structures 7
UNIK-ADS Algorithms and data structures 7
NIE-GEN Code Generators 5
NIE-CPX Complexity Theory 5
NIE-CPX.26 Complexity Theory 6
NIE-KOD Data Compression 5
UNI-DI1 Didactics of Informatics I 6
UNIK-DI1 Didactics of Informatics I 6
UNI-DI2 Didactics of Informatics II 7
UNIK-DI2 Didactics of Informatics II 7
NI-PAM Efficient Preprocessing and Parameterized Algorithms 4
NI-EVY Efficient Text Pattern Matching 5
NIE-EVY Efficient Text Pattern Matching 5
NI-GEN Code Generators 5
NI-GAK Graph theory and combinatorics 5
NI-GAK.26 Graph theory and combinatorics 6
NIE-GAK Graph theory and combinatorics 5
NIE-GAK.26 Graph theory and combinatorics 6
NIE-ICC Introduction to Computational Complexity 6
NIE-DVG Introduction to Discrete and Computational Geometry 5
NI-KTH Combinatorial Theories of Games 4
NI-KOD Data Compression 5
NI-FMT Finite model theory 4
NIE-LOM Linear Optimization and Methods 5
NI-LOM Linear Optimization and Methods 5
QNIE-LOM Linear Optimization and Methods 5
QNI-LOM Linear Optimization and Methods 5
NI-NON Nonlinear Continuous Optimization and Numerical Methods 5
NIE-NON Nonlinear Continuous Optimization and Numerical Methods 5
NIE-PAM Parameterized Algorithms 4
NIE-SYP Parsing and Compilers 5
NIE-ROZ Pattern Recognition 5
NI-APT Advanced Program Testing 5
QNIE-PJK Programming languages for quantum computing 5
QNI-PJK Programming languages for quantum computing 5
UNIK-PPP Propedeutics of pedagogical practice 6
UNI-PPP Propedeutics of pedagogical practice 6
UNIK-RPP Reflection of teaching practice 3
UNI-RPP Reflection of teaching practice 3
ANI-ROZ Pattern Recognition 5
NI-ROZ Pattern Recognition 5
NIE-RUN Runtime Systems 5
NI-RUN Runtime Systems 5
NIE-APR Selected Methods for Program Analysis 5
NIE-SEM Semantics of Programming Languages 5
NI-SEM Semantics of Programming Languages 5
NI-PLS1 Programming Language Seminar 2
NI-PLS2 Programming Language Seminar 2
NI-PLS3 Programming Language Seminar 2
NI-PLS4 Programming Language Seminar 2
UNIK-SPP Continuous teaching practice 15
UNI-SPP Continuous teaching practice 15
NI-MOB Student mobility 2
NI-SLA Sublinear algorithms 5
NI-SYP Parsing and Compilers 5
NI-TS1 Theoretical Seminar Master I 4
NI-TS2 Theoretical Seminar Master II 4
NI-TS3 Theoretical Seminar Master III 4
NI-TS4 Theoretical Seminar Master IV 4
NI-CPX Complexity Theory 5
NI-CPX.26 Complexity Theory 6
QNI-CPX Complexity Theory 6
QNIE-CPX Complexity Theory 6
NI-VOL Elections 5
NI-APR Selected Methods for Program Analysis 5
ANI-DVG Introduction to Discrete and Computational Geometry 5
NI-DVG Introduction to Discrete and Computational Geometry 5
NI-ICC Introduction to Computational Complexity 6
Code Course name Credits
PI-APA Advanced Program Analysis 4
PI-AKD Data Compression Algorithms 4
PI-AVG Computational genomics algorithms 4
PI-ARB Arbology 4
PI-ASP Architecture of Symbolic Computers 4
PI-ROZ Advanced Pattern Recognition 4
PI-STR Stringology 4
PI-TGR Graph Theory 4
PI-TPL Type Systems for Programming Languages 4
Code Course name Credits
FIT-ACM1 Programming Practices 1 5
FIT-ACM2 Programming Practices 2 5
FIT-ACM3 Programming Practices 3 5
FIT-ACM4 Programming Practices 4 5
FIT-ACM5 Programming Practices 5 5
FIT-ACM6 Programming Practices 6 5
FIT-PMA Programming in Mathematica 4
FIT-TS1 Theoretical Seminar 1 4
FIT-TS0 Theoretical Seminar 10 4
FIT-TS2 Theoretical Seminar 2 4
FIT-TS3 Theoretical Seminar 3 4
FIT-TS4 Theoretical Seminar 4 4
FIT-TS5 Theoretical Seminar 5 4
FIT-TS6 Theoretical Seminar 6 4
FIT-TS7 Theoretical Seminar 7 4
FIT-TS8 Theoretical Seminar 8 4
FIT-TS9 Theoretical Seminar 9 4