Department of Theoretical Computer Science
Zajišťované studijní plány
 Computer Science (NITI) – navazující
 System Programming (MISP) – navazující
 System Programming (NISP) – navazující
 Computer Science (BITI) – bachelor
 Computer Science (Bachelor, in English) (BIETI) – master
Provided courses
Code  Course name  Language  WINTER SEMESTER  SUMMER SEMESTER  
Tutor  completion  credits  range  completion  credits  range  
MIEPAL.16  Advanced Algorithms 
Z,ZK  5  2P+1C  The course is not on the list  
MIEPAL  Advanced Algorithms 
Z,ZK  4  2P+1C  The course is not on the list  
MIPAL.16  Advanced Algorithms 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
MIPAL  Advanced Algorithms  Czech  Z,ZK  4  2P+1C  The course is on the list  
PIROZ  Advanced Pattern Recognition  ZK  4  3C  The course is on the list  
PIAPA  Advanced Program Analysis  ZK  4  3C  The course is on the list  
BIEAG1  Algorithms and Graphs 1  Z,ZK  6  2P+2C  The course is on the list  
BIAG1  Algorithms and Graphs 1  Czech  Z,ZK  6  2P+2C  The course is on the list  
BIKAG1  Algorithms and Graphs 1  Czech  Z,ZK  6  14KP+4KC  The course is on the list  
BIEAG2  Algorithms and Graphs 2  Z,ZK  5  2P+2C  The course is on the list  
BIAG2  Algorithms and Graphs 2  Czech  Z,ZK  5  2P+2C  The course is on the list  
PIARB  Arbology  ZK  4  3C  ZK  4  3C  The course is on the list  
PIASP  Architecture of Symbolic Computers  ZK  4  3C  ZK  4  3C  The course is on the list  
BIEAAG  Automata and Grammars  Z,ZK  6  2P+2C  The course is on the list  
BIAAG  Automata and Grammars  Czech  Z,ZK  6  2P+2C  The course is on the list  
BIKAAG  Automata and Grammars  Czech  Z,ZK  6  13KP+4KC  The course is on the list  
MIEAVY.16  Automata in Text Pattern Matching 
Z,ZK  5  2P+1C  The course is not on the list  
MIEAVY  Automata in Text Pattern Matching  Z,ZK  4  2P+1C  The course is on the list  
MIAVY.16  Automata in Text Pattern Matching 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
MIAVY  Automata in Text Pattern Matching  Czech  Z,ZK  4  2P+1C  The course is on the list  
MIEGEN  Code Generators  Z,ZK  4  2P+1C  The course is on the list  
MIGEN  Code Generators  Czech  Z,ZK  4  2P+1C  The course is on the list  
NIGEN  Code Generators 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
MIATH  Combinatorial Theories of Games  Z,ZK  4  2P+2C  The course is on the list  
NIATH  Combinatorial Theories of Games 
Z,ZK  4  2P+2C  The course is not on the list  
MILCF  Compiler system LLVM 
Z,ZK  4  The course is not on the list  
MIELCF  Compiling system LLVM 
Z,ZK  4  The course is not on the list  
MIECPX  Complexity Theory  Z,ZK  5  3P+1C  The course is not on the list  
MICPX  Complexity Theory  Czech  Z,ZK  5  3P+1C  The course is on the list  
PIAVG  Computational genomics algorithms 
ZK  4  2P+1C  The course is not on the list  
MIEKOD.16  Data Compression  Z,ZK  5  2P+1C  The course is on the list  
MIKOD.16  Data Compression  Czech  Z,ZK  5  2P+1C  The course is on the list  
MIKOD  Data Compression 
Czech  Z,ZK  4  2P+1C  The course is not on the list  
NIKOD  Data Compression 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
PIAKD  Data Compression Algorithms  ZK  4  3C  The course is on the list  
MIEADM.16  Data Mining Algorithms 
Z,ZK  5  2P+1C  The course is not on the list  
BIEP1  Effective programming 1  Czech  Z  4  2P+2C  The course is on the list  
BIEFA  Efficient Algorithms 
Czech  Z,ZK  5  2P+2C  The course is not on the list  
BIKEFA  Efficient Algorithms 
Czech  Z,ZK  5  13KP+4KC  The course is not on the list  
BIEEFA  Efficient Algorithms 
Z,ZK  5  2P+2C  The course is not on the list  
BIKEIA  Efficient Implementation of Algorithms 
Czech  Z,ZK  5  13KP+4KC  The course is not on the list  
NIPAM  Efficient Preprocessing and Parameterized Algorithms 
Z,ZK  4  2P+1C  The course is not on the list  
MIPAM  Efficient Preprocessing and Parameterized Algorithms  Z,ZK  4  2P+1C  The course is on the list  
BIEP2  Efficient Programming 2  Czech  KZ  4  2P+2C  The course is on the list  
MIEVY  Efficient Text Pattern Matching 
Czech  Z,ZK  4  2P+1C  The course is not on the list  
MIEVY.16  Efficient Text Pattern Matching  Czech  Z,ZK  5  2P+1C  The course is on the list  
NIEVY  Efficient Text Pattern Matching 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
MIEEVY  Efficient Text Pattern Matching 
Z,ZK  4  2P+1C  The course is not on the list  
MIEEVY.16  Efficient Text Pattern Matching  Z,ZK  5  2P+1C  The course is on the list  
BIEIA  Efficient implementation of algorithms  Czech  Z,ZK  5  2P+1C  The course is not on the list  
BIETED  Electronic Documentation Design  KZ  5  2P+2C  The course is not on the list  
BITED  Electronic Documentation Design  Czech  KZ  5  2P+1C  The course is not on the list  
BIKTED  Electronic Documentation Design  Czech  KZ  5  13KP+4KC  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  
MIEFLP  Functional and Logical Programming 
Z,ZK  4  2P+1C  The course is not on the list  
MIEFLP.16  Functional and Logical Programming  Z,ZK  5  2P+1C  The course is on the list  
MIFLP  Functional and Logical Programming  Czech  Z,ZK  4  2P+1C  The course is on the list  
MIFLP.16  Functional and Logical Programming 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
BIKGRA  Graph Algorithms 
Czech  Z,ZK  5  13KP+4KC  The course is not on the list  
BIGRA  Graph Algorithms 
Czech  Z,ZK  5  2P+2C  The course is not on the list  
BIEGRA  Graph Algorithms and Complexity Theory 
Z,ZK  5  2P+2C  The course is not on the list  
PITGR  Graph Theory  ZK  4  2P+1C  The course is on the list  
NIGAK  Graph theory and combinatorics 
Czech  Z,ZK  5  2P+2C  The course is not on the list  
MIGAK  Graph theory and combinatorics  Czech  Z,ZK  5  2P+2C  The course is on the list  
BIICS  Introduction to Computer Science  Z  2  The course is on the list  
BIICS.18  Introduction to Computer Science  Z  3  Z  3  The course is on the list  
MIELOM  Linear Optimization and Methods 
Z,ZK  4  2P+1C  The course is not on the list  
MIELOM.16  Linear Optimization and Methods 
Z,ZK  5  2P+1C  The course is not on the list  
MILOM  Linear Optimization and Methods 
Czech  Z,ZK  4  2P+1C  The course is not on the list  
NILOM  Linear Optimization and Methods 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
MILOM.16  Linear Optimization and Methods Michal Rada, Michal Černý

Czech  Z,ZK  5  2P+1C  The course is on the list  
NIMPJ  Modelling of Programming Languages 
Z,ZK  5  2P+1C  The course is not on the list  
MINON.16  Nonlinear Continuous Optimization and Numerical Methods  Czech  Z,ZK  5  2P+1C  The course is on the list  
NINON  Nonlinear Continuous Optimization and Numerical Methods 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
MINON  Nonlinear Continuous Optimization and Numerical Methods 
Czech  Z,ZK  4  2P+1C  The course is not on the list  
MIENON  Nonlinear Continuous Optimization and Numerical Methods 
Z,ZK  4  2P+1C  The course is not on the list  
MIENON.16  Nonlinear Continuous Optimization and Numerical Methods  Z,ZK  5  2P+1C  The course is on the list  
BIOOP  ObjectOriented Programming  Z,ZK  4  2P+2C  The course is on the list  
BIEOOP  ObjectOriented Programming  Z,ZK  4  2P+2C  The course is on the list  
BIKOOP  ObjectOriented Programming  Czech  Z,ZK  4  14KP+4KC  The course is on the list  
NIOSY  Operating Systems and Systems Programming 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
MIESYP  Parsing and Compilers 
Z,ZK  4  2P+1C  The course is not on the list  
MIESYP.16  Parsing and Compilers  Z,ZK  5  2P+1C  The course is on the list  
NISYP  Parsing and Compilers 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
MISYP.16  Parsing and Compilers  Czech  Z,ZK  5  2P+1C  The course is on the list  
MISYP  Parsing and Compilers 
Czech  Z,ZK  4  2P+1C  The course is not on the list  
MIEROZ.16  Pattern Recognition 
Z,ZK  5  2P+1C  The course is not on the list  
MIEROZ  Pattern Recognition  Z,ZK  4  2P+1C  The course is on the list  
MIROZ  Pattern Recognition 
Czech  Z,ZK  4  2P+1C  The course is not on the list  
MIROZ.16  Pattern Recognition  Czech  Z,ZK  5  2P+1C  The course is on the list  
NIROZ  Pattern Recognition 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
BIEPJP  Programming Languages and Compilers  Z,ZK  5  2P+1C  The course is on the list  
BIPJP  Programming Languages and Compilers  Czech  Z,ZK  5  2P+1C  The course is on the list  
BIEPPA  Programming Paradigms  Czech  Z,ZK  5  2P+2C  The course is on the list  
BIPPA  Programming Paradigms  Czech  Z,ZK  5  2P+2C  The course is on the list  
BIKPPA  Programming Paradigms  Czech  Z,ZK  5  14KP+4KC  The course is on the list  
BIACM  Programming Practices 1  KZ  5  4C  The course is on the list  
BIACM2  Programming Practices 2  KZ  5  4C  The course is not on the list  
BIACM3  Programming Practices 3  Czech  KZ  5  4C  The course is not on the list  
BIACM4  Programming Practices 4  KZ  5  4C  The course is on the list  
BIEPA1  Programming and Algorithmics 1  Z,ZK  6  2P+2R+2C  The course is on the list  
BIPA1  Programming and Algorithmics 1 Miroslav Balík, David Bernhauer, Jiří Borský, Michal Cvach, Ondřej Cvacho, Marianna Gedrová, Peter Guľa, Otto Hollmann, Klára Hájková, Martin Jelínek, Roman Jelínek, Jan Ječmen, Adam Jirovský, Jiří Kašpar, František Kovář, Jaroslav Kříž, Jan Matoušek, Tomáš Pecka, Jan Pokorný, Radek Richtr, Šimon Schierreich, Klára Schovánková, Miroslav Sochor, Roman Svoboda, Jan Trávníček, Ladislav Vagner, Josef Vogel, David Šenkýř, Ivan Šimeček

Czech  Z,ZK  6  2P+2R+2C  The course is on the list  
BIKPA1  Programming and Algorithmics 1  Czech  Z,ZK  6  20KP+6KC  The course is on the list  
BIEPA2  Programming and Algorithmics 2  Z,ZK  7  2P+1R+1C  The course is on the list  
BIKPA2  Programming and Algorithmics 2  Czech  Z,ZK  7  13KP+4KC  The course is on the list  
BIPA2  Programming and Algorithmics 2 David Bernhauer, Václav Blažej, Jiří Chludil, Ondřej Cvacho, Tomáš Dejmek, Ondřej Fiedler, Lukáš Hrbek, Jiří Hunka, Klára Hájková, Roman Jelínek, Jiří Kukačka, Jakub Kulík, Tomáš Licek, Josef Malík, Tomáš Nováček, Petr Pauš, Tomáš Pecka, Štěpán Plachý, Radek Richtr, Klára Schovánková, Roman Svoboda, Kryštof Tulinger, Ladislav Vagner, Josef Vogel, Tung Anh Vu, David Šenkýř, Jan Žaloudek

Czech  Z,ZK  7  2P+1R+2C  The course is on the list  
BIPMA  Programming in Mathematica  Czech  Z,ZK  4  2P+2C  The course is on the list  
MIERUN.16  Runtime Systems  Z,ZK  5  2P+1C  The course is not on the list  
MIERUN  Runtime Systems 
Z,ZK  4  2P+1C  The course is not on the list  
MIRUN  Runtime Systems 
Czech  Z,ZK  4  2P+1C  The course is not on the list  
NIRUN  Runtime Systems 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
MIRUN.16  Runtime Systems  Czech  Z,ZK  5  2P+1C  The course is on the list  
NIAPR  Selected Methods for Program Analysis 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
PISTR  Stringology  ZK  4  3C  The course is on the list  
MIETES.1  Systems Theory 
Z,ZK  3  2P  The course is not on the list  
MIETES  Systems Theory 
Z,ZK  5  2P+1C  The course is not on the list  
MITES  Systems Theory 
Czech  Z,ZK  5  2P+2C  The course is not on the list  
BITEX  TeX and Typography  Czech  Z,ZK  4  2P+1C  The course is on the list  
BITS1  Theoretical Seminar I  Czech  Z  4  2C  The course is on the list  
BITS2  Theoretical Seminar II  Czech  Z  4  2C  The course is on the list  
BITS3  Theoretical Seminar III  Czech  Z  4  2C  The course is not on the list  
BITS4  Theoretical Seminar IV  Czech  Z  4  2C  The course is not on the list  
NITS1  Theoretical Seminar Master I  Z  4  2C  The course is not on the list  
MITS1  Theoretical Seminar Master I  Z  4  2C  The course is on the list  
MITS2  Theoretical Seminar Master II  Z  4  2C  The course is on the list  
NITS2  Theoretical Seminar Master II  Z  4  2C  The course is not on the list  
NITS3  Theoretical Seminar Master III  Z  4  2C  The course is not on the list  
MITS3  Theoretical Seminar Master III  Z  4  2C  The course is not on the list  
MITS4  Theoretical Seminar Master IV  Z  4  2C  The course is not on the list  
NITS4  Theoretical Seminar Master IV  Z  4  2C  The course is not on the list  
PITPL  Type Systems for Programming Languages  ZK  4  3C  The course is on the list 