Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Department of Theoretical Computer Science

Provided courses

Code Course name Language WINTER SEMESTER SUMMER SEMESTER
Tutor completion credits range completion credits range
MIE-PAL.16 Advanced Algorithms
 
English Z,ZK 5 2P+1C The course is not on the list
MI-PAL.16 Advanced Algorithms
 
Czech Z,ZK 5 2P+1C The course is not on the list
MI-PAL Advanced Algorithms
 
Czech Z,ZK 4 2P+1C The course is not on the list
PI-ROZ Advanced Pattern Recognition ZK 4 3C The course is on the list
PI-APA Advanced Program Analysis English ZK 4 3C The course is on the list
NIE-APT Advanced Program Testing English Z,ZK 5 2P+1C The course is on the list
NI-APT Advanced Program Testing English Z,ZK 5 2P+1C The course is on the list
BIE-ASE Advanced Systems Engineering The course is not on the list
NI-ATH AlgorithmicTheories of Games Czech Z,ZK 4 2P+2C The course is on the list
BIE-AG1 Algorithms and Graphs 1
 
English Z,ZK 6 2P+2C The course is not on the list
BIE-AG1.21 Algorithms and Graphs 1 English Z,ZK 5 2P+2C The course is on the list
BIK-AG1 Algorithms and Graphs 1
 
Czech Z,ZK 6 14KP+4KC The course is not on the list
BI-AG1.21 Algorithms and Graphs 1 Czech Z,ZK 5 2P+2C The course is on the list
BIK-AG1.21 Algorithms and Graphs 1 Czech Z,ZK 5 14KP+4KC The course is on the list
BI-AG1 Algorithms and Graphs 1
 
Czech Z,ZK 6 2P+2C The course is not on the list
BIE-AG2 Algorithms and Graphs 2
 
English Z,ZK 5 2P+2C The course is not on the list
BIE-AG2.21 Algorithms and Graphs 2 English Z,ZK 5 2P+2C The course is on the list
BI-AG2 Algorithms and Graphs 2
 
Czech 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 on the list
BIE-AX2 Algorithms and Graphs 2 No Implementation English The course is on the list
BIE-AX1 Algorithms and Graphs No Implementation English Z,ZK 4 2P+2C The course is on the list
BI-AVI.21 Algorithms visually Czech Z,ZK 4 2P+1C The course is on the list
PI-ARB Arbology ZK 4 3C ZK 4 3C The course is on the list
PI-ASP Architecture of Symbolic Computers ZK 4 3C ZK 4 3C The course is on the list
BIK-ZUM Artificial Intelligence Fundamentals
 
Czech Z,ZK 4 13+4 The course is not on the list
BIE-AAG Automata and Grammars
 
English Z,ZK 6 2P+2C The course is not on the list
BIE-AAG.21 Automata and Grammars English Z,ZK 5 2P+2C The course is on the list
BI-AAG Automata and Grammars
 
Czech Z,ZK 6 2P+2C The course is not on the list
BIK-AAG.21 Automata and Grammars Czech Z,ZK 5 14KP+4KC The course is on the list
BI-AAG.21 Automata and Grammars Czech Z,ZK 5 2P+2C The course is on the list
BIK-AAG Automata and Grammars
 
Czech Z,ZK 6 13KP+4KC The course is not on the list
MIE-AVY Automata in Text Pattern Matching
 
English Z,ZK 4 2P+1C The course is not on the list
MI-AVY Automata in Text Pattern Matching Czech Z,ZK 4 2P+1C The course is on the list
MIE-GEN Code Generators
 
English Z,ZK 4 2P+1C The course is not on the list
MI-GEN Code Generators
 
Czech Z,ZK 4 2P+1C The course is not on the list
NI-GEN Code Generators Czech Z,ZK 5 2P+1C The course is on the list
MI-ATH Combinatorial Theories of Games
 
Z,ZK 4 2P+2C The course is not on the list
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 3P The course is on the list
BI-CCN Compiler Construction English Z,ZK 5 3P The course is on the list
MIE-CPX Complexity Theory
 
English Z,ZK 5 3P+1C The course is not on the list
NI-CPX Complexity Theory Czech Z,ZK 5 3P+1C The course is on the list
MI-CPX Complexity Theory
 
Czech Z,ZK 5 3P+1C The course is not on the list
PI-AVG Computational genomics algorithms ZK 4 2P+1C The course is on the list
NIE-KOD Data Compression English Z,ZK 5 2P+1C The course is on the list
MIE-KOD.16 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 on the list
MI-KOD.16 Data Compression
 
Czech Z,ZK 5 2P+1C The course is not on the list
PI-AKD Data Compression Algorithms ZK 4 3C The course is on the list
BI-EP1 Effective programming 1 Czech Z 4 2P+2C The course is on the list
BI-EFA Efficient Algorithms
 
Czech Z,ZK 5 2P+2C The course is not on the list
BIK-EFA Efficient Algorithms
 
Czech Z,ZK 5 13KP+4KC The course is not on the list
BIE-EFA Efficient Algorithms
 
English Z,ZK 5 2P+2C The course is not on the list
BIK-EIA Efficient Implementation of Algorithms
 
Czech Z,ZK 5 13KP+4KC The course is not on the list
MI-PAM Efficient Preprocessing and Parameterized Algorithms
 
Z,ZK 4 2P+1C The course is not on the list
NI-PAM Efficient Preprocessing and Parameterized Algorithms Czech Z,ZK 4 2P+1C The course is on the list
BI-EP2 Efficient Programming 2 Czech KZ 4 2P+2C The course is on the list
NI-EVY Efficient Text Pattern Matching English Z,ZK 5 2P+1C The course is on the list
MI-EVY.16 Efficient Text Pattern Matching
 
Czech Z,ZK 5 2P+1C The course is not on the list
NIE-EVY Efficient Text Pattern Matching English Z,ZK 5 2P+1C The course is on the list
MIE-EVY.16 Efficient Text Pattern Matching
 
English Z,ZK 5 2P+1C The course is not on the list
BI-EIA Efficient implementation of algorithms
 
Czech Z,ZK 5 2P+1C The course is not on the list
NI-VOL Elections Czech Z,ZK 5 2P+1C The course is on the list
BIE-TED Electronic Documentation Design
 
English KZ 5 2P+2C The course is not on the list
BIK-TED Electronic Documentation Design
 
Czech KZ 5 13KP+4KC The course is not on the list
BI-TED Electronic Documentation Design
 
Czech KZ 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 on the list
NI-FMT Finite model theory Z,ZK 4 2P+1C The course is on the list
MIE-FLP.16 Functional and Logical Programming
 
English Z,ZK 5 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
MI-FLP Functional and Logical Programming
 
Czech Z,ZK 4 2P+1C The course is not on the list
BIK-GRA Graph Algorithms
 
Czech Z,ZK 5 13KP+4KC The course is not on the list
BI-GRA Graph Algorithms and Complexity Theory
 
Czech Z,ZK 5 2P+2C The course is not on the list
BIE-GRA Graph Algorithms and Complexity Theory
 
English Z,ZK 5 2P+2C The course is not on the list
PI-TGR Graph Theory ZK 4 2P+1C The course is 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 on the list
NIE-GAK Graph theory and combinatorics English Z,ZK 5 2P+2C The course is 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 on the list
BIE-CSI Introduction to Computer Science English Z 2 2C The course is on the list
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 on the list
NI-DVG Introduction to Discrete and Computational Geometry English Z,ZK 5 2P+1C The course is on the list
NI-LOM Linear Optimization and Methods Czech Z,ZK 5 2P+1C The course is on the list
MI-LOM.16 Linear Optimization and Methods
 
Czech Z,ZK 5 2P+1C The course is not on the list
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 The course is on the list
MI-NON.16 Nonlinear Continuous Optimization and Numerical Methods
 
Czech 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 The course is on the list
MIE-NON.16 Nonlinear Continuous Optimization and Numerical Methods
 
English Z,ZK 5 2P+1C The course is not on the list
BIE-OOP.21 Object-Oriented Programming English Z,ZK 5 2P+2C The course is on the list
BIK-OOP.21 Object-Oriented Programming Czech Z,ZK 5 14KP+4KC The course is on the list
BI-OOP.21 Object-Oriented Programming Czech Z,ZK 5 2P+2C The course is on the list
BIE-OOP Object-Oriented Programming English Z,ZK 4 2P+2C The course is not on the list
BI-OOP Object-Oriented Programming Czech Z,ZK 4 2P+2C The course is not on the list
BIK-OOP Object-Oriented Programming Czech Z,ZK 4 14KP+4KC The course is not on the list
BI-ORL Operations Research and Linear Programming Czech KZ 5 1P+2C The course is on the list
NIE-SYP Parsing and Compilers English Z,ZK 5 2P+1C The course is on the list
MIE-SYP.16 Parsing and Compilers
 
English Z,ZK 5 2P+1C The course is not on the list
NI-SYP Parsing and Compilers English Z,ZK 5 2P+1C The course is on the list
MI-SYP.16 Parsing and Compilers
 
Czech Z,ZK 5 2P+1C The course is not on the list
NIE-ROZ Pattern Recognition
 
English Z,ZK 5 2P+1C The course is not on the list
MIE-ROZ.16 Pattern Recognition
 
English Z,ZK 5 2P+1C The course is not on the list
MIE-ROZ Pattern Recognition
 
English Z,ZK 4 2P+1C The course is not on the list
MI-ROZ Pattern Recognition
 
Czech Z,ZK 4 2P+1C The course is not on the list
NI-ROZ Pattern Recognition Czech Z,ZK 5 2P+1C The course is on the list
MI-ROZ.16 Pattern Recognition
 
Czech Z,ZK 5 2P+1C The course is not on the list
BIE-PJP.21 Programming Languages and Compilers English Z,ZK 5 2P+1C The course is on the list
BIE-PJP 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 on the list
BI-PJP 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 The course is on the list
BIK-PPA.21 Programming Paradigms Czech Z,ZK 5 14KP+4KC The course is on the list
BI-PPA.21 Programming Paradigms Czech Z,ZK 5 2P+2R The course is on the list
BI-PPA Programming Paradigms
 
Czech Z,ZK 5 2P+2R The course is not on the list
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 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 The course is on the list
BIE-PA1 Programming and Algorithmics 1
 
English Z,ZK 6 2P+2R+2C The course is not on the list
BIE-PA1.21 Programming and Algorithmics 1 English Z,ZK 7 2P+2R+2C The course is on the list
BI-PA1 Programming and Algorithmics 1
 
Czech Z,ZK 6 2P+2R+2C The course is not on the list
BIK-PA1.21 Programming and Algorithmics 1 Czech Z,ZK 7 14KP+8KC The course is on the list
BI-PA1.21 Programming and Algorithmics 1 Czech Z,ZK 7 2P+2R+2C The course is on the list
BIK-PA1 Programming and Algorithmics 1
 
Czech Z,ZK 6 20KP+6KC The course is not on the list
BIE-PA2 Programming and Algorithmics 2
 
English Z,ZK 7 2P+1R+1C The course is not on the list
BIE-PA2.21 Programming and Algorithmics 2 English Z,ZK 7 2P+1R+2C The course is on the list
BI-PA2 Programming and Algorithmics 2
 
Czech 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 on the list
BIK-PA2.21 Programming and Algorithmics 2 Czech Z,ZK 7 14KP+6KC The course is on the list
BIK-PA2 Programming and Algorithmics 2
 
Czech Z,ZK 7 13KP+4KC The course is not on the list
BI-PMA Programming in Mathematica Czech Z,ZK 4 2P+2C The course is 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 on the list
MI-RUN.16 Runtime Systems
 
Czech 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 on the list
BIE-VAK.21 Selected Combinatorics Applications English Z 3 2R The course is on the list
NI-APR Selected Methods for Program Analysis Czech Z,ZK 5 2P+1C The course is on the list
PI-STR Stringology ZK 4 3C The course is on the list
NI-MOB Student mobility
 
The course is not on the list
NI-SLA Sublinear algorithms Czech Z,ZK 5 2P+1C The course is on the list
BIE-SEG Systems Engineering English Z 0 2C The course is on the list
BI-SEG Systems Engineering English ZK 0 2C The course is on the list
MI-TES Systems Theory
 
Czech Z,ZK 5 2P+2C The course is not on the list
BI-TEX TeX and Typography Czech Z,ZK 4 2P+1C The course is on the list
BI-TS1 Theoretical Seminar I Czech Z 4 2C The course is on the list
BI-TS2 Theoretical Seminar II Czech Z 4 2C The course is 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
MI-TS1 Theoretical Seminar Master I
 
Z 4 2C The course is not on the list
NI-TS1 Theoretical Seminar Master I Czech Z 4 2C The course is on the list
MI-TS2 Theoretical Seminar Master II
 
Czech Z 4 2C The course is not on the list
NI-TS2 Theoretical Seminar Master II Czech Z 4 2C The course is on the list
MI-TS3 Theoretical Seminar Master III
 
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
MI-TS4 Theoretical Seminar Master IV
 
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 English ZK 4 3C The course is on the list
Data valid to 2024-03-27
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/katedra18101.html