Department of Theoretical Computer Science
Provided courses
Code  Course name  Language  WINTER SEMESTER  SUMMER SEMESTER  
Tutor  completion  credits  range  completion  credits  range  
MIEPAL.16  Advanced Algorithms 
English  Z,ZK  5  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 not on the list  
PIROZ  Advanced Pattern Recognition  ZK  4  3C  The course is on the list  
PIAPA  Advanced Program Analysis  English  ZK  4  3C  The course is on the list  
NIATH  AlgorithmicTheories of Games  Czech  Z,ZK  4  2P+2C  The course is not on the list  
BIEAG1  Algorithms and Graphs 1  English  Z,ZK  6  2P+2C  The course is not on the list  
BIEAG1.21  Algorithms and Graphs 1  English  Z,ZK  5  2P+2C  The course is on the list  
BIKAG1  Algorithms and Graphs 1  Czech  Z,ZK  6  14KP+4KC  The course is not on the list  
BIAG1.21  Algorithms and Graphs 1  Czech  Z,ZK  5  2P+2C  The course is on the list  
BIKAG1.21  Algorithms and Graphs 1  Czech  Z,ZK  5  14KP+4KC  The course is on the list  
BIAG1  Algorithms and Graphs 1  Czech  Z,ZK  6  2P+2C  The course is not on the list  
BIEAG2  Algorithms and Graphs 2  English  Z,ZK  5  2P+2C  The course is not on the list  
BIEAG2.21  Algorithms and Graphs 2  English  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 not on the list  
BIAG2.21  Algorithms and Graphs 2  Czech  Z,ZK  5  2P+2C  The course is on the list  
BIAVI.21  Algorithms visually  Czech  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  
BIKZUM  Artificial Intelligence Fundamentals 
Czech  Z,ZK  4  13+4  The course is not on the list  
BIEAAG  Automata and Grammars  English  Z,ZK  6  2P+2C  The course is not on the list  
BIEAAG.21  Automata and Grammars  English  Z,ZK  5  2P+2C  The course is on the list  
BIAAG  Automata and Grammars  Czech  Z,ZK  6  2P+2C  The course is not on the list  
BIKAAG.21  Automata and Grammars  Czech  Z,ZK  5  14KP+4KC  The course is on the list  
BIAAG.21  Automata and Grammars  Czech  Z,ZK  5  2P+2C  The course is on the list  
BIKAAG  Automata and Grammars  Czech  Z,ZK  6  13KP+4KC  The course is not on the list  
MIEAVY  Automata in Text Pattern Matching  English  Z,ZK  4  2P+1C  The course is not on the list  
MIAVY  Automata in Text Pattern Matching  Czech  Z,ZK  4  2P+1C  The course is not on the list  
MIEGEN  Code Generators  English  Z,ZK  4  2P+1C  The course is not on the list  
MIGEN  Code Generators 
Czech  Z,ZK  4  2P+1C  The course is not on the list  
NIGEN  Code Generators  Czech  Z,ZK  5  2P+1C  The course is on the list  
MIATH  Combinatorial Theories of Games 
Z,ZK  4  2P+2C  The course is not on the list  
NIKTH  Combinatorial Theories of Games  Czech  Z,ZK  4  2P+1C  The course is on the list  
BIECCN  Compiler Construction  English  The course is on the list  
BICCN  Compiler Construction 
English  The course is not on the list  
MIECPX  Complexity Theory 
English  Z,ZK  5  3P+1C  The course is not on the list  
NICPX  Complexity Theory  Czech  Z,ZK  5  3P+1C  The course is on the list  
MICPX  Complexity Theory 
Czech  Z,ZK  5  3P+1C  The course is not on the list  
PIAVG  Computational genomics algorithms  ZK  4  2P+1C  The course is on the list  
NIEKOD  Data Compression  English  Z,ZK  5  2P+1C  The course is on the list  
MIEKOD.16  Data Compression 
English  Z,ZK  5  2P+1C  The course is not on the list  
NIKOD  Data Compression  English  Z,ZK  5  2P+1C  The course is on the list  
MIKOD.16  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  
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 
English  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  
MIPAM  Efficient Preprocessing and Parameterized Algorithms 
Z,ZK  4  2P+1C  The course is not on the list  
NIPAM  Efficient Preprocessing and Parameterized Algorithms  Czech  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  
NIEVY  Efficient Text Pattern Matching  English  Z,ZK  5  2P+1C  The course is on the list  
MIEVY.16  Efficient Text Pattern Matching 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
NIEEVY  Efficient Text Pattern Matching  English  Z,ZK  5  2P+1C  The course is on the list  
MIEEVY.16  Efficient Text Pattern Matching  English  Z,ZK  5  2P+1C  The course is not on the list  
BIEIA  Efficient implementation of algorithms 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
NIVOL  Elections  Czech  Z,ZK  5  2P+1C  The course is on the list  
BIETED  Electronic Documentation Design 
English  KZ  5  2P+2C  The course is not on the list  
BIKTED  Electronic Documentation Design 
Czech  KZ  5  13KP+4KC  The course is not on the list  
BITED  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  
MIEFLP.16  Functional and Logical Programming 
English  Z,ZK  5  2P+1C  The course is not on the list  
MIFLP.16  Functional and Logical Programming 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
MIFLP  Functional and Logical Programming 
Czech  Z,ZK  4  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 and Complexity Theory 
Czech  Z,ZK  5  2P+2C  The course is not on the list  
BIEGRA  Graph Algorithms and Complexity Theory 
English  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  
MIGAK  Graph theory and combinatorics 
Czech  Z,ZK  5  2P+2C  The course is not on the list  
NIGAK  Graph theory and combinatorics  Czech  Z,ZK  5  2P+2C  The course is on the list  
NIEGAK  Graph theory and combinatorics  English  Z,ZK  5  2P+2C  The course is on the list  
BIICS.18  Introduction to Computer Science  English  Z  3  Z  3  The course is on the list  
BIICS  Introduction to Computer Science  English  Z  2  The course is on the list  
NIEDVG  Introduction to Discrete and Computational Geometry  English  Z,ZK  5  2P+1C  The course is on the list  
NIDVG  Introduction to Discrete and Computational Geometry  English  Z,ZK  5  2P+1C  The course is on the list  
NILOM  Linear Optimization and Methods  Czech  Z,ZK  5  2P+1C  The course is on the list  
MILOM.16  Linear Optimization and Methods 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
NIMPJ  Modelling of Programming Languages  English  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 on the list  
MINON.16  Nonlinear Continuous Optimization and Numerical Methods 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
NIENON  Nonlinear Continuous Optimization and Numerical Methods  English  Z,ZK  5  2P+1C  The course is on the list  
MIENON.16  Nonlinear Continuous Optimization and Numerical Methods 
English  Z,ZK  5  2P+1C  The course is not on the list  
BIEOOP.21  ObjectOriented Programming 
English  Z,ZK  5  2P+2C  The course is not on the list  
BIKOOP.21  ObjectOriented Programming 
Czech  Z,ZK  5  14KP+4KC  The course is not on the list  
BIOOP.21  ObjectOriented Programming 
Czech  Z,ZK  5  2P+2C  The course is not on the list  
BIEOOP  ObjectOriented Programming  English  Z,ZK  4  2P+2C  The course is on the list  
BIOOP  ObjectOriented Programming  Czech  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  
NIESYP  Parsing and Compilers  English  Z,ZK  5  2P+1C  The course is on the list  
MIESYP.16  Parsing and Compilers 
English  Z,ZK  5  2P+1C  The course is not on the list  
NISYP  Parsing and Compilers  English  Z,ZK  5  2P+1C  The course is on the list  
MISYP.16  Parsing and Compilers 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
NIEROZ  Pattern Recognition 
English  Z,ZK  5  2P+1C  The course is not on the list  
MIEROZ.16  Pattern Recognition 
English  Z,ZK  5  2P+1C  The course is not on the list  
MIEROZ  Pattern Recognition 
English  Z,ZK  4  2P+1C  The course is not on the list  
MIROZ  Pattern Recognition 
Czech  Z,ZK  4  2P+1C  The course is not on the list  
NIROZ  Pattern Recognition  Czech  Z,ZK  5  2P+1C  The course is on the list  
MIROZ.16  Pattern Recognition 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
BIEPJP.21  Programming Languages and Compilers  English  Z,ZK  5  2P+1C  The course is on the list  
BIEPJP  Programming Languages and Compilers  English  Z,ZK  5  2P+1C  The course is not on the list  
BIPJP.21  Programming Languages and Compilers  Czech  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 not on the list  
BIEPPA  Programming Paradigms  English  Z,ZK  5  2P+2C  The course is not on the list  
BIEPPA.21  Programming Paradigms  English  Z,ZK  5  2P+2C  The course is on the list  
BIKPPA.21  Programming Paradigms  Czech  Z,ZK  5  14KP+4KC  The course is on the list  
BIPPA.21  Programming Paradigms  Czech  Z,ZK  5  2P+2C  The course is on the list  
BIPPA  Programming Paradigms  Czech  Z,ZK  5  2P+2R  The course is not on the list  
BIKPPA  Programming Paradigms  Czech  Z,ZK  5  14KP+4KC  The course is not on the list  
BIACM  Programming Practices 1  Czech  KZ  5  4C  The course is not on the list  
BIACM2  Programming Practices 2  Czech  KZ  5  4C  The course is on the list  
BIACM3  Programming Practices 3  Czech  KZ  5  4C  The course is on the list  
BIACM4  Programming Practices 4  Czech  KZ  5  4C  The course is not on the list  
BIEPA1  Programming and Algorithmics 1 
English  Z,ZK  6  2P+2R+2C  The course is not on the list  
BIEPA1.21  Programming and Algorithmics 1  English  Z,ZK  7  2P+2R+2C  The course is on the list  
BIPA1  Programming and Algorithmics 1 
Czech  Z,ZK  6  2P+2R+2C  The course is not on the list  
BIKPA1.21  Programming and Algorithmics 1  Czech  Z,ZK  7  14KP+8KC  The course is on the list  
BIPA1.21  Programming and Algorithmics 1 Miroslav Balík, David Bernhauer, Jan Bittner, Daniel Breiner, Michal Dvořák, Michal Dvořák, Tomáš Heger, Radek Hušek, Roman Jelínek, Jiří Kašpar, Matěj Kocourek, Tomáš Krupička, Jaroslav Kříž, Jan Matoušek, Matyáš Rak, Róbert Selvek, Jan Trávníček, Ladislav Vagner, Josef Vogel, Ondřej Wrzecionko, Ivan Šimeček, Ondřej Štorc

Czech  Z,ZK  7  2P+2R+2C  The course is on the list  
BIKPA1  Programming and Algorithmics 1 
Czech  Z,ZK  6  20KP+6KC  The course is not on the list  
BIEPA2  Programming and Algorithmics 2 
English  Z,ZK  7  2P+1R+1C  The course is not on the list  
BIEPA2.21  Programming and Algorithmics 2  English  Z,ZK  7  2P+1R+2C  The course is on the list  
BIPA2  Programming and Algorithmics 2 
Czech  Z,ZK  7  2P+1R+2C  The course is not on the list  
BIPA2.21  Programming and Algorithmics 2 David Bernhauer, Daniel Breiner, Michal Dvořák, Michal Dvořák, Tomáš Heger, Radek Hušek, Roman Jelínek, František Kovář, Tomáš Krupička, Jaroslav Kříž, Jan Matoušek, Petr Pauš, Tomáš Pecka, Matyáš Rak, Klára Schovánková, Róbert Selvek, Jan Trávníček, Ladislav Vagner, Josef Vogel, Ondřej Štorc, Petr Šťastný

Czech  Z,ZK  7  2P+1R+2C  The course is on the list  
BIKPA2.21  Programming and Algorithmics 2  Czech  Z,ZK  7  14KP+6KC  The course is on the list  
BIKPA2  Programming and Algorithmics 2 
Czech  Z,ZK  7  13KP+4KC  The course is not on the list  
BIPMA  Programming in Mathematica  Czech  Z,ZK  4  2P+2C  The course is on the list  
MIERUN.16  Runtime Systems 
English  Z,ZK  5  2P+1C  The course is not on the list  
NIRUN  Runtime Systems  English  Z,ZK  5  2P+1C  The course is on the list  
MIRUN.16  Runtime Systems 
Czech  Z,ZK  5  2P+1C  The course is not on the list  
BIVAK.21  Selected Applications of Combinatorics  Czech  Z  3  2R  The course is on the list  
BIEVAK.21  Selected Combinatorics Applications  English  Z  3  2R  The course is on the list  
NIAPR  Selected Methods for Program Analysis  Czech  Z,ZK  5  2P+1C  The course is on the list  
PISTR  Stringology  ZK  4  3C  The course is on the list  
NIMOB  Student mobility 
The course is not on the list  
NISLA  Sublinear algorithms  Czech  Z,ZK  5  2P+1C  The course is 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 not on the list  
BITS2  Theoretical Seminar II  Czech  Z  4  2C  The course is not on the list  
BITS3  Theoretical Seminar III  Czech  Z  4  2C  The course is on the list  
BITS4  Theoretical Seminar IV  Czech  Z  4  2C  The course is on the list  
MITS1  Theoretical Seminar Master I 
Z  4  2C  The course is not on the list  
NITS1  Theoretical Seminar Master I  Czech  Z  4  2C  The course is not on the list  
MITS2  Theoretical Seminar Master II 
Czech  Z  4  2C  The course is not on the list  
NITS2  Theoretical Seminar Master II  Czech  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  
NITS3  Theoretical Seminar Master III  Czech  Z  4  2C  The course is on the list  
MITS4  Theoretical Seminar Master IV 
Z  4  2C  The course is not on the list  
NITS4  Theoretical Seminar Master IV  Czech  Z  4  2C  The course is on the list  
PITPL  Type Systems for Programming Languages  English  ZK  4  3C  The course is on the list 