Department of Theoretical Computer Science
Provided specializations and study plans
 System Programming (MISP) – unknown
 Computer Science
(BITI)
– unknown
 Computer Science (Presented in Czech) (combined)
 Computer Science  Version for those who Enrolled in 2013 (in Czech) (fulltime)
 Computer Science  Version for those who Enrolled in 2014 (in Czech) (fulltime)
 Computer Science (Presented in Czech), Version 2014 (combined)
 Bc. Branch Computer Science, in Czech, Version 2015, 2016, 2017 and 2018 (fulltime)
 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  Advanced Algorithms 
Z,ZK  4  2+1  The course is not on the list  
MIEPAL.16  Advanced Algorithms 
Z,ZK  5  2+1  The course is not on the list  
MIPAL.16  Advanced Algorithms 
Czech  Z,ZK  5  2+1  The course is not on the list  
MIPAL  Advanced Algorithms  Czech  Z,ZK  4  2+1  The course is on the list  
PIROZ  Advanced Pattern Recognition  ZK  4  0+3  The course is on the list  
PIAPA  Advanced Program Analysis  ZK  4  0+3  The course is on the list  
BIEAG1  Algorithms and Graphs 1  Z,ZK  6  2+2  The course is on the list  
BIKAG1  Algorithms and Graphs 1  Czech  Z,ZK  6  14+4  The course is on the list  
BIAG1  Algorithms and Graphs 1  Czech  Z,ZK  6  2+2  The course is on the list  
BIEAG2  Algorithms and Graphs 2  Z,ZK  5  2+2  The course is on the list  
BIAG2  Algorithms and Graphs 2  Czech  Z,ZK  5  2+2  The course is on the list  
PIAVG  Algoritmy výpočetní genomiky  ZK  4  2+1  The course is not on the list  
PIARB  Arbology  ZK  4  0+3  ZK  4  0+3  The course is on the list  
PIASP  Architecture of Symbolic Computers  ZK  4  0+3  ZK  4  0+3  The course is on the list  
BIEAAG  Automata and Grammars  Z,ZK  6  2+2  The course is on the list  
BIAAG  Automata and Grammars  Czech  Z,ZK  6  2+2  The course is on the list  
BIKAAG  Automata and Grammars  Czech  Z,ZK  6  13+6  The course is on the list  
MIEAVY.16  Automata in Text Pattern Matching 
Z,ZK  5  2+1  The course is not on the list  
MIEAVY  Automata in Text Pattern Matching  Z,ZK  4  2+1  The course is on the list  
MIAVY.16  Automata in Text Pattern Matching 
Czech  Z,ZK  5  2+1  The course is not on the list  
MIAVY  Automata in Text Pattern Matching  Czech  Z,ZK  4  2+1  The course is on the list  
MIEGEN.16  Code Generators 
Z,ZK  5  2+1  The course is not on the list  
MIEGEN  Code Generators  Z,ZK  4  2+1  The course is on the list  
MIGEN  Code Generators  Czech  Z,ZK  4  2+1  The course is on the list  
MIGEN.16  Code Generators 
Czech  Z,ZK  5  2+1  The course is not on the list  
MIATH  Combinatorial Theories of Games  Z,ZK  4  2+2  The course is on the list  
MILCF  Compiler system LLVM 
Z,ZK  4  The course is not on the list  
MIELCF  Compiling system LLVM 
Z,ZK  4  0+0  The course is not on the list  
MIECPX  Complexity Theory  Z,ZK  5  3+1  The course is on the list  
MICPX  Complexity Theory  Czech  Z,ZK  5  3+1  The course is on the list  
MIEKOD  Data Compression  Z,ZK  4  2+1  The course is on the list  
MIEKOD.16  Data Compression 
Z,ZK  5  2+1  The course is not on the list  
MIKOD  Data Compression 
Czech  Z,ZK  4  2+1  The course is not on the list  
MIKOD.16  Data Compression  Czech  Z,ZK  5  2+1  The course is on the list  
PIAKD  Data Compression Algorithms  ZK  4  0+3  The course is on the list  
BIKVZD  Data Mining 
Czech  Z,ZK  4  13+4  The course is not on the list  
MIEADM.16  Data Mining Algorithms 
Z,ZK  5  2+1  The course is not on the list  
BIEP1  Effective programming 1  Czech  Z  4  1+2  The course is on the list  
BIEFA  Efficient Algorithms 
Czech  Z,ZK  5  2+2  The course is not on the list  
BIKEFA  Efficient Algorithms 
Czech  Z,ZK  5  13+4  The course is not on the list  
BIEEFA  Efficient Algorithms 
Z,ZK  5  2+2  The course is not on the list  
BIKEIA  Efficient Implementation of Algorithms 
Czech  Z,ZK  5  13+4  The course is not on the list  
BIEEIA  Efficient Implementation of Algorithms  Z,ZK  5  2+1  The course is on the list  
MIPAM  Efficient Preprocessing and Parameterized Algorithms  Z,ZK  4  2+1  The course is on the list  
BIEP2  Efficient Programming 2  Czech  KZ  4  2+2  The course is on the list  
MIEVY.16  Efficient Text Pattern Matching  Czech  Z,ZK  5  2+1  The course is on the list  
MIEVY  Efficient Text Pattern Matching 
Czech  Z,ZK  4  2+1  The course is not on the list  
MIEEVY  Efficient Text Pattern Matching 
Z,ZK  4  2+1  The course is not on the list  
MIEEVY.16  Efficient Text Pattern Matching  Z,ZK  5  2+1  The course is on the list  
BIEIA  Efficient implementation of algorithms  Czech  Z,ZK  5  2+1  The course is not on the list  
BIETED  Electronic Documentation Design  KZ  5  2+2  The course is not on the list  
BIKTED  Electronic Documentation Design 
Czech  KZ  5  13+4  The course is not on the list  
BITED  Electronic Documentation Design  Czech  KZ  5  2+1  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 
Z,ZK  5  2+1  The course is not on the list  
MIEFLP  Functional and Logical Programming  Z,ZK  4  2+1  The course is on the list  
MIFLP.16  Functional and Logical Programming 
Czech  Z,ZK  5  2+1  The course is not on the list  
MIFLP  Functional and Logical Programming  Czech  Z,ZK  4  2+1  The course is on the list  
BIKGRA  Graph Algorithms  Czech  Z,ZK  5  13+4  The course is not on the list  
BIGRA  Graph Algorithms  Czech  Z,ZK  5  2+2  The course is not on the list  
BIEGRA  Graph Algorithms and Complexity Theory  Z,ZK  5  2+2  The course is not on the list  
PITGR  Graph Theory  ZK  4  2+1  The course is on the list  
MIGAK  Graph theory and combinatorics  Czech  Z,ZK  5  2+2  The course is on the list  
BIICS.18  Introduction to Computer Science  Z  3  0+0  Z  3  0+0  The course is on the list  
BIICS  Introduction to Computer Science  Z  2  0+0  The course is on the list  
MIELOM.16  Linear Optimization and Methods 
Z,ZK  5  2+1  The course is not on the list  
MIELOM  Linear Optimization and Methods 
Z,ZK  4  2+1  The course is not on the list  
MILOM.16  Linear Optimization and Methods Michal Rada, Michal Černý

Czech  Z,ZK  5  2+1  The course is on the list  
MILOM  Linear Optimization and Methods 
Czech  Z,ZK  4  2+1  The course is not on the list  
MINON  Nonlinear Continuous Optimization and Numerical Methods 
Czech  Z,ZK  4  2+1  The course is not on the list  
MINON.16  Nonlinear Continuous Optimization and Numerical Methods  Czech  Z,ZK  5  2+1  The course is on the list  
MIENON  Nonlinear Continuous Optimization and Numerical Methods 
Z,ZK  4  2+1  The course is not on the list  
MIENON.16  Nonlinear Continuous Optimization and Numerical Methods  Z,ZK  5  2+1  The course is on the list  
MIESYP.16  Parsing and Compilers  Z,ZK  5  2+1  The course is on the list  
MIESYP  Parsing and Compilers 
Z,ZK  4  2+1  The course is not on the list  
MISYP.16  Parsing and Compilers  Czech  Z,ZK  5  2+1  The course is on the list  
MISYP  Parsing and Compilers 
Czech  Z,ZK  4  2+1  The course is not on the list  
MIEROZ  Pattern Recognition  Z,ZK  4  2+1  The course is on the list  
MIEROZ.16  Pattern Recognition 
Z,ZK  5  2+1  The course is not on the list  
MIROZ.16  Pattern Recognition  Czech  Z,ZK  5  2+1  The course is on the list  
MIROZ  Pattern Recognition 
Czech  Z,ZK  4  2+1  The course is not on the list  
BIEPJP  Programming Languages and Compilers  Z,ZK  5  2+1  The course is on the list  
BIKPJP  Programming Languages and Compilers 
Czech  Z,ZK  5  13+2  The course is not on the list  
BIPJP  Programming Languages and Compilers  Czech  Z,ZK  5  2+1  The course is on the list  
BIEPPA  Programming Paradigms  Czech  Z,ZK  5  2+2  The course is on the list  
BIKPPA  Programming Paradigms  Czech  Z,ZK  5  14+4  The course is on the list  
BIPPA  Programming Paradigms  Czech  Z,ZK  5  2+2  The course is on the list  
BIACM  Programming Practices 1  KZ  5  0+4  The course is not on the list  
BIACM2  Programming Practices 2  KZ  5  0+4  The course is on the list  
BIACM3  Programming Practices 3  Czech  KZ  5  0+4  The course is on the list  
BIACM4  Programming Practices 4  KZ  5  0+4  The course is on the list  
BIEPA1  Programming and Algorithmics 1  Z,ZK  6  2+2+2  The course is on the list  
BIKPA1  Programming and Algorithmics 1  Czech  Z,ZK  6  20+6  The course is on the list  
BIPA1  Programming and Algorithmics 1 Miroslav Balík, David Bernhauer, 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, Jaroslav Kříž, Tomáš Pecka, Radek Richtr, 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  2+2+2  The course is on the list  
BIEPA2  Programming and Algorithmics 2  Z,ZK  7  2+2  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  2+3  The course is on the list  
BIKPA2  Programming and Algorithmics 2  Czech  Z,ZK  7  13+4  The course is on the list  
BIPMA  Programming in Mathematica  Czech  Z,ZK  4  2+2  The course is on the list  
MIERUN.16  Runtime Systems  Z,ZK  5  2+1  The course is on the list  
MIERUN  Runtime Systems 
Z,ZK  4  2+1  The course is not on the list  
MIRUN  Runtime Systems 
Czech  Z,ZK  4  2+1  The course is not on the list  
MIRUN.16  Runtime Systems  Czech  Z,ZK  5  2+1  The course is on the list  
PISTR  Stringology  ZK  4  0+3  The course is on the list  
MIETES  Systems Theory 
Z,ZK  5  2+0  The course is not on the list  
MIETES.1  Systems Theory 
Z,ZK  3  2+0  The course is not on the list  
MITES  Systems Theory 
Czech  Z,ZK  5  2+0  The course is not on the list  
BITEX  TeX and Typography  Czech  Z,ZK  4  2+1  The course is on the list  
BITS1  Theoretical Seminar I  Czech  Z  4  0+2  The course is not on the list  
BITS2  Theoretical Seminar II  Czech  Z  4  0+2  The course is not on the list  
BITS3  Theoretical Seminar III  Czech  Z  4  0+2  The course is on the list  
BITS4  Theoretical Seminar IV  Czech  Z  4  0+2  The course is on the list  
MITS1  Theoretical Seminar Master I  Czech  Z  4  0+2  The course is not on the list  
MITS2  Theoretical Seminar Master II  Czech  Z  4  0+2  The course is not on the list  
MITS3  Theoretical Seminar Master III  Czech  Z  4  0+2  The course is on the list  
MITS4  Theoretical Seminar Master IV  Czech  Z  4  0+2  The course is on the list  
PITPL  Type Systems for Programming Languages  ZK  4  0+3  The course is on the list 