Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2025/2026

Department of Theoretical Computer Science

Provided courses

Code Course name Language WINTER SEMESTER SUMMER SEMESTER Enrolled in semester
Tutor completion credits range completion credits range
PI-ROZ Advanced Pattern Recognition
 
ZK 4 3C The course is not on the list
PI-APA Advanced Program Analysis
Jan Vitek 
English ZK 4 3C B251
NIE-APT Advanced Program Testing English Z,ZK 5 2P+1C B251
NI-APT Advanced Program Testing English Z,ZK 5 2P+1C B251
NI-ATH AlgorithmicTheories of Games
 
Czech Z,ZK 4 2P+2C The course is not on the list
BIE-AG1.21 Algorithms and Graphs 1 English Z,ZK 5 2P+2C B251
BI-AG1.21 Algorithms and Graphs 1 Czech Z,ZK 5 2P+2C B251
BIK-AG1.21 Algorithms and Graphs 1 Czech Z,ZK 5 14KP+4KC B251
BIE-AG2.21 Algorithms and Graphs 2
 
English Z,ZK 5 2P+2C The course is not on the list
BI-AG2.21 Algorithms and Graphs 2
 
Czech Z,ZK 5 2P+2C The course is not on the list
BIE-AX2 Algorithms and Graphs 2 No Implementation
 
English The course is not on the list
BIE-AX1.24 Algorithms and Graphs No Implementation English Z,ZK 5 2P+2C B251
BIE-AX1 Algorithms and Graphs No Implementation
 
English Z,ZK 4 2P+2C The course is not on the list
UNIK-ADS Algorithms and data structures
 
Czech Z,ZK 7 20B The course is not on the list
UNI-ADS Algorithms and data structures
 
Czech Z,ZK 7 2P+2C The course is not on the list
BI-AVI.21 Algorithms visually
 
Czech Z,ZK 4 2P+1C The course is not on the list
PI-ARB Arbology ZK 4 3C ZK 4 3C B251
PI-ASP Architecture of Symbolic Computers ZK 4 3C ZK 4 3C B251
BIK-ZUM Artificial Intelligence Fundamentals
 
Czech Z,ZK 4 13+4 The course is not on the list
BIE-AAG.21 Automata and Grammars
Jan Holub 
English Z,ZK 5 2P+2C B251
BIK-AAG.21 Automata and Grammars Czech Z,ZK 5 14KP+4KC B251
BI-AAG.21 Automata and Grammars Czech Z,ZK 5 2P+2C B251
NI-GEN Code Generators Czech Z,ZK 5 2P+1C B251
NI-KTH Combinatorial Theories of Games
 
Czech Z,ZK 4 2P+1C The course is not on the list
BIE-CCN Compiler Construction
 
English Z,ZK 5 2P+1C The course is not on the list
BI-CCN Compiler Construction
 
English Z,ZK 5 2P+1C The course is not on the list
NIE-CPX Complexity Theory English Z,ZK 5 3P+1C B251
QNIE-CPX Complexity Theory English Z,ZK 6 3P+1C B251
QNI-CPX Complexity Theory Czech Z,ZK 6 3P+1C B251
NI-CPX Complexity Theory Czech Z,ZK 5 3P+1C B251
PI-AVG Computational genomics algorithms
 
ZK 4 2P+1C The course is not on the list
UNI-SPP Continuous teaching practice
 
Czech KZ 15 450XH The course is not on the list
UNIK-SPP Continuous teaching practice
 
Czech KZ 15 450XH The course is not on the list
NIE-KOD Data Compression
 
English Z,ZK 5 2P+1C The course is not on the list
NI-KOD Data Compression
 
English Z,ZK 5 2P+1C The course is not on the list
PI-AKD Data Compression Algorithms
 
ZK 4 3C The course is not on the list
UNI-DI1 Didactics of Informatics I Czech Z,ZK 6 2P+2C The course is not on the list
UNIK-DI1 Didactics of Informatics I
 
Czech Z,ZK 6 16B The course is not on the list
UNI-DI2 Didactics of Informatics II
 
Czech KZ 7 1P+2C The course is not on the list
UNIK-DI2 Didactics of Informatics II
 
Czech KZ 7 18B The course is not on the list
UNIK-DIP Diploma thesis
 
Z 9 270ZP The course is not on the list
UNI-DIP Diploma thesis
 
Z 9 270ZP The course is not on the list
BI-EP1 Effective programming 1
 
Czech Z 4 2P+2C The course is not on the list
BI-EP1.24 Effective programming 1 Czech KZ 4 2P+2C B251
NI-PAM Efficient Preprocessing and Parameterized Algorithms
 
Czech Z,ZK 4 2P+1C The course is not on the list
BI-EP2 Efficient Programming 2
 
Czech KZ 4 2P+2C The course is not on the list
NI-EVY Efficient Text Pattern Matching
Jan Holub 
English Z,ZK 5 2P+1C B251
NIE-EVY Efficient Text Pattern Matching
Jan Holub 
English Z,ZK 5 2P+1C B251
NI-VOL Elections
 
Czech Z,ZK 5 2P+1C The course is not on the list
AKCE Fiktivní předmět - Akce mimo rozvrhovanou výuku
 
NIC 0 0+0 NIC 0 0+0 The course is not on the list
NI-FMT Finite model theory
 
Czech Z,ZK 4 2P+1C The course is not on the list
MI-FLP.16 Functional and Logical Programming
 
Czech Z,ZK 5 2P+1C The course is not on the list
PI-TGR Graph Theory
 
ZK 4 2P+1C The course is not on the list
MI-GAK Graph theory and combinatorics
 
Czech Z,ZK 5 2P+2C The course is not on the list
NI-GAK Graph theory and combinatorics
 
Czech Z,ZK 5 2P+2C The course is not on the list
NIE-GAK Graph theory and combinatorics
 
English Z,ZK 5 2P+2C The course is not on the list
BI-ICS.18 Introduction to Computer Science
 
English Z 3 Z 3 The course is not on the list
BI-CSI Introduction to Computer Science English The course is not on the list
BIE-CSI Introduction to Computer Science English Z 2 2C B251
BI-ICS Introduction to Computer Science
 
English Z 2 The course is not on the list
NIE-DVG Introduction to Discrete and Computational Geometry
 
English Z,ZK 5 2P+1C The course is not on the list
NI-DVG Introduction to Discrete and Computational Geometry
 
English Z,ZK 5 2P+1C The course is not on the list
NIE-LOM Linear Optimization and Methods English Z,ZK 5 2P+0S+1C B251
QNI-LOM Linear Optimization and Methods Czech Z,ZK 5 2P+1C B251
NI-LOM Linear Optimization and Methods Czech Z,ZK 5 2P+1C B251
QNIE-LOM Linear Optimization and Methods Czech Z,ZK 5 2P+1C B251
NI-MPJ Modelling of Programming Languages
 
English Z,ZK 5 2P+1C The course is not on the list
NI-NON Nonlinear Continuous Optimization and Numerical Methods
 
Czech Z,ZK 5 2P+1C Z,ZK 5 2P+1C The course is not on the list
NIE-NON Nonlinear Continuous Optimization and Numerical Methods
 
English Z,ZK 5 2P+1C Z,ZK 5 2P+1C The course is not on the list
BIE-OOP.21 Object-Oriented Programming English Z,ZK 5 2P+2C B251
BIK-OOP.21 Object-Oriented Programming Czech Z,ZK 5 14KP+4KC B251
BI-OOP.21 Object-Oriented Programming Czech Z,ZK 5 2P+2C B251
BI-ORL Operations Research and Linear Programming
 
Czech KZ 5 1P+2C The course is not on the list
NIE-PAM Parameterized Algorithms
 
English Z,ZK 4 2P+1C The course is not on the list
NIE-SYP Parsing and Compilers English Z,ZK 5 2P+1C B251
NI-SYP Parsing and Compilers English Z,ZK 5 2P+1C B251
NIE-ROZ Pattern Recognition English Z,ZK 5 2P+1C B251
NI-ROZ Pattern Recognition Czech Z,ZK 5 2P+1C B251
NI-PLS1 Programming Language Seminar English Z 2 0P+1C B251
NI-PLS4 Programming Language Seminar
 
English Z 2 0P+1C The course is not on the list
NI-PLS3 Programming Language Seminar
 
English Z 2 0P+1C The course is not on the list
NI-PLS2 Programming Language Seminar English Z 2 0P+1C The course is not on the list
BIE-PJP.21 Programming Languages and Compilers
 
English Z,ZK 5 2P+1C The course is not on the list
BI-PJP.21 Programming Languages and Compilers
 
Czech Z,ZK 5 2P+1C The course is not on the list
BIE-PPA Programming Paradigms
 
English Z,ZK 5 2P+2C The course is not on the list
BIE-PPA.21 Programming Paradigms English Z,ZK 5 2P+2R B251
BIK-PPA.21 Programming Paradigms Czech Z,ZK 5 14KP+4KC B251
BI-PPA.21 Programming Paradigms Czech Z,ZK 5 2P+2R B251
BIK-PPA Programming Paradigms
 
Czech Z,ZK 5 14KP+4KC The course is not on the list
BI-ACM Programming Practices 1
 
Czech KZ 5 4C The course is not on the list
BI-ACM2 Programming Practices 2
 
Czech KZ 5 4C The course is not on the list
BI-ACM3 Programming Practices 3
 
Czech KZ 5 4C The course is not on the list
BI-ACM4 Programming Practices 4 Czech KZ 5 4C B251
BIE-PA1.21 Programming and Algorithmics 1 English Z,ZK 7 2P+2R+2C B251
BIK-PA1.21 Programming and Algorithmics 1 Czech Z,ZK 7 14KP+8KC B251
BI-PA1.21 Programming and Algorithmics 1 Czech Z,ZK 7 2P+2R+2C B251
BIE-PA2.21 Programming and Algorithmics 2
 
English Z,ZK 7 2P+1R+2C The course is not on the list
BI-PA2.21 Programming and Algorithmics 2
 
Czech Z,ZK 7 2P+1R+2C The course is not on the list
BIK-PA2.21 Programming and Algorithmics 2
 
Czech Z,ZK 7 14KP+6KC The course is not on the list
BI-PMA Programming in Mathematica
 
Czech Z,ZK 4 2P+2C Z,ZK 4 2P+2C The course is not on the list
QNI-PJK Programming languages for quantum computing Czech The course is not on the list
UNIK-PPP Propedeutics of pedagogical practice
 
Czech KZ 6 16B The course is not on the list
UNI-PPP Propedeutics of pedagogical practice
 
Czech KZ 6 2P+2C The course is not on the list
UNI-RPP Reflection of teaching practice
 
Czech Z 3 26XH The course is not on the list
UNIK-RPP Reflection of teaching practice
 
Czech Z 3 8B The course is not on the list
MIE-RUN.16 Runtime Systems
 
English Z,ZK 5 2P+1C The course is not on the list
NI-RUN Runtime Systems
 
English Z,ZK 5 2P+1C The course is not on the list
BI-VAK.21 Selected Applications of Combinatorics
 
Czech Z 3 2R The course is not on the list
BIE-VAK.21 Selected Combinatorics Applications
 
English Z 3 2R The course is not on the list
NI-APR Selected Methods for Program Analysis Czech Z,ZK 5 2P+1C B251
UNI-SPD Semester project for thesis
 
Czech Z 3 90ZP The course is not on the list
UNIK-SPD Semester project for thesis
 
Czech Z 3 90ZP The course is not on the list
PI-STR Stringology
 
ZK 4 3C The course is not on the list
NI-MOB Student mobility
 
Czech The course is not on the list
NI-SLA Sublinear algorithms Czech Z,ZK 5 2P+1C B251
BIE-SEG Systems Engineering English Z 0 2C B251
BI-SEG Systems Engineering English ZK 0 2C The course is not on the list
BI-TEX TeX and Typography
 
Czech Z,ZK 4 2P+1C The course is not on the list
BI-TS1 Theoretical Seminar I Czech Z 4 2C B251
BI-TS2 Theoretical Seminar II
 
Czech Z 4 2C The course is not on the list
BI-TS3 Theoretical Seminar III
 
Czech Z 4 2C The course is not on the list
BI-TS4 Theoretical Seminar IV
 
Czech Z 4 2C The course is not on the list
NI-TS1 Theoretical Seminar Master I Czech Z 4 2C B251
NI-TS2 Theoretical Seminar Master II
 
Czech Z 4 2C The course is not on the list
NI-TS3 Theoretical Seminar Master III
 
Czech Z 4 2C The course is not on the list
NI-TS4 Theoretical Seminar Master IV
 
Czech Z 4 2C The course is not on the list
PI-TPL Type Systems for Programming Languages
Jan Vitek 
English ZK 4 3C B251
Data valid to 2025-04-06
For updated information see http://bilakniha.cvut.cz/en/katedra18101.html