Department of Theoretical Computer Science
Zajišťované studijní plány
- Computer Science (NI-TI) – navazující
- System Programming (MI-SP) – navazující
- System Programming (NI-SP) – navazující
- Computer Science (BI-TI) – bachelor
- Computer Science (Bachelor, in English) (BIE-TI) – master
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 | |||
NI-ATH | AlgorithmicTheories of Games | Z,ZK | 4 | 2P+2C | The course is not on the list | ||||
BIE-AG1 | Algorithms and Graphs 1 | English | Z,ZK | 6 | 2P+2C | The course is on the list | |||
BIE-AG1.21 | Algorithms and Graphs 1 |
English | Z,ZK | 5 | 2P+2C | The course is not on the list | |||
BIK-AG1 | Algorithms and Graphs 1 | Czech | Z,ZK | 6 | 14KP+4KC | The course is on the list | |||
BI-AG1 | Algorithms and Graphs 1 | Czech | Z,ZK | 6 | 2P+2C | The course is on the list | |||
BI-AG1.21 | Algorithms and Graphs 1 |
Czech | Z,ZK | 5 | 2P+2C | The course is not on the list | |||
BIK-AG1.21 | Algorithms and Graphs 1 |
Czech | Z,ZK | 5 | 14KP+4KC | The course is not on the list | |||
BIE-AG2 | 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 on the list | |||
BI-AVI | Algoritmy vizuálně | Czech | Z,ZK | 4 | 2P+1C | The course is not 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.21 | Automata and Grammars |
English | Z,ZK | 5 | 2P+2C | The course is not on the list | |||
BIE-AAG | Automata and Grammars | English | Z,ZK | 6 | 2P+2C | The course is on the list | |||
BI-AAG.21 | Automata and Grammars |
Czech | Z,ZK | 5 | 2P+2C | The course is not on the list | |||
BI-AAG | Automata and Grammars | Czech | Z,ZK | 6 | 2P+2C | The course is on the list | |||
BIK-AAG.21 | Automata and Grammars |
Czech | Z,ZK | 5 | 13KP+4KC | The course is not on the list | |||
BIK-AAG | Automata and Grammars | Czech | Z,ZK | 6 | 13KP+4KC | The course is on the list | |||
MIE-AVY.16 | Automata in Text Pattern Matching |
English | Z,ZK | 5 | 2P+1C | The course is not on the list | |||
MIE-AVY | Automata in Text Pattern Matching | English | Z,ZK | 4 | 2P+1C | The course is on the list | |||
MI-AVY | Automata in Text Pattern Matching | Czech | Z,ZK | 4 | 2P+1C | The course is on the list | |||
MI-AVY.16 | Automata in Text Pattern Matching |
Czech | Z,ZK | 5 | 2P+1C | The course is not on the list | |||
MIE-GEN | Code Generators | English | Z,ZK | 4 | 2P+1C | The course is on the list | |||
NI-GEN | Code Generators | Czech | Z,ZK | 5 | 2P+1C | The course is on the list | |||
MI-GEN | Code Generators |
Czech | Z,ZK | 4 | 2P+1C | The course is not on the list | |||
NI-KTH | Combinatorial Theories of Games | Czech | Z,ZK | 4 | 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 | ||||
MI-LCF | Compiler system LLVM |
English | Z,ZK | 4 | The course is not on the list | ||||
MIE-LCF | Compiling system LLVM |
Z,ZK | 4 | The course is not 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 | ||||
MIE-KOD.16 | Data Compression | English | Z,ZK | 5 | 2P+1C | The course is on the list | |||
NI-KOD | Data Compression | Czech | 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 | ||||
MIE-ADM.16 | Data Mining Algorithms |
English | Z,ZK | 5 | 2P+1C | The course is not 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 | 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 | |||
MI-EVY.16 | Efficient Text Pattern Matching | Czech | Z,ZK | 5 | 2P+1C | The course is not on the list | |||
NI-EVY | Efficient Text Pattern Matching | Czech | 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 on the list | |||
BI-EIA | Efficient implementation of algorithms |
Czech | Z,ZK | 5 | 2P+1C | The course is not on the list | |||
BIE-TED | Electronic Documentation Design |
English | KZ | 5 | 2P+2C | The course is not on the list | |||
BI-TED | Electronic Documentation Design |
Czech | KZ | 5 | 2P+1C | The course is not on the list | |||
BIK-TED | 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 | |
MIE-FLP.16 | Functional and Logical Programming | English | Z,ZK | 5 | 2P+1C | The course is on the list | |||
MI-FLP.16 | Functional and Logical Programming | Czech | Z,ZK | 5 | 2P+1C | The course is 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 |
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 | ||||
NI-GAK | Graph theory and combinatorics | Czech | Z,ZK | 5 | 2P+2C | 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 | |||
BI-ICS.18 | Introduction to Computer Science | English | Z | 3 | Z | 3 | The course is on the list | ||
BI-ICS | Introduction to Computer Science | English | Z | 2 | The course is on the list | ||||
MIE-LOM.16 | Linear Optimization and Methods |
English | Z,ZK | 5 | 2P+1C | The course is not on the list | |||
MI-LOM.16 | Linear Optimization and Methods Michal Rada, Michal Černý
|
Czech | Z,ZK | 5 | 2P+1C | The course is not on the list | |||
NI-LOM | Linear Optimization and Methods Michal Rada, Michal Černý
|
Czech | Z,ZK | 5 | 2P+1C | The course is on the list | |||
BI-LOG.21 | Mathematical Logic |
Czech | Z,ZK | 5 | 2P+2C | The course is not on the list | |||
BIE-LOG.21 | Mathematical Logic |
English | Z,ZK | 5 | 2P+2C | The course is not on the list | |||
NI-MPJ | Modelling of Programming Languages | English | 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 | |||
NI-NON | Nonlinear Continuous Optimization and Numerical Methods | Czech | 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 | |||
BI-OOP.21 | Object-Oriented Programming |
Czech | Z,ZK | 5 | 2P+2C | The course is not on the list | |||
BIE-OOP.21 | Object-Oriented Programming |
English | Z,ZK | 5 | 2P+2C | The course is not on the list | |||
BI-OOP | Object-Oriented Programming | English | Z,ZK | 4 | 2P+2C | The course is on the list | |||
BIK-OOP.21 | Object-Oriented Programming | Czech | Z,ZK | 5 | 14KP+4KC | The course is not on the list | |||
BIE-OOP | Object-Oriented Programming | English | Z,ZK | 4 | 2P+2C | The course is on the list | |||
BIK-OOP | Object-Oriented Programming | Czech | Z,ZK | 4 | 14KP+4KC | The course is on the list | |||
NI-OSY | Operating Systems and Systems Programming | Czech | 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 on the list | |||
NI-SYP | Parsing and Compilers | Czech | 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 | |||
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 on the list | |||
MI-ROZ.16 | Pattern Recognition | Czech | Z,ZK | 5 | 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 | |||
BIE-PJP | Programming Languages and Compilers | English | 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 on the list | |||
BIE-PPA | Programming Paradigms | English | Z,ZK | 5 | 2P+2C | The course is on the list | |||
BIK-PPA | Programming Paradigms | Czech | Z,ZK | 5 | 14KP+4KC | The course is on the list | |||
BI-PPA | Programming Paradigms | Czech | Z,ZK | 5 | 2P+2C | The course is on the list | |||
BI-ACM | Programming Practices 1 | KZ | 5 | 4C | The course is not on the list | ||||
BI-ACM2 | Programming Practices 2 | KZ | 5 | 4C | The course is on the list | ||||
BI-ACM3 | Programming Practices 3 | Czech | KZ | 5 | 4C | The course is on the list | |||
BI-ACM4 | Programming Practices 4 | KZ | 5 | 4C | The course is not on the list | ||||
BIE-PA1 | Programming and Algorithmics 1 | English | Z,ZK | 6 | 2P+2R+2C | The course is on the list | |||
BIE-PA1.21 | Programming and Algorithmics 1 |
Czech | Z,ZK | 7 | 2P+2R+2C | The course is not on the list | |||
BIK-PA1 | Programming and Algorithmics 1 | Czech | Z,ZK | 6 | 20KP+6KC | The course is on the list | |||
BI-PA1.21 | Programming and Algorithmics 1 |
Czech | Z,ZK | 7 | 2P+2R+2C | The course is not on the list | |||
BI-PA1 | Programming and Algorithmics 1 | Czech | Z,ZK | 6 | 2P+2R+2C | The course is on the list | |||
BIK-PA1.21 | Programming and Algorithmics 1 | Czech | Z,ZK | 7 | 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 on the list | |||
BIK-PA2 | Programming and Algorithmics 2 | Czech | Z,ZK | 7 | 13KP+4KC | The course is on the list | |||
BI-PA2 | Programming and Algorithmics 2 | Czech | Z,ZK | 7 | 2P+1R+2C | The course is 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 | |||
MI-RUN.16 | Runtime Systems | Czech | Z,ZK | 5 | 2P+1C | The course is not on the list | |||
NI-RUN | Runtime Systems | Czech | Z,ZK | 5 | 2P+1C | 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 | ||||
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 not on the list | |||
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 on the list | |||
BI-TS4 | Theoretical Seminar IV | Czech | Z | 4 | 2C | The course is 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 | Z | 4 | 2C | The course is not on the list | ||||
MI-TS2 | Theoretical Seminar Master II | Z | 4 | 2C | The course is not on the list | ||||
NI-TS2 | Theoretical Seminar Master II | Z | 4 | 2C | The course is not 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 | Z | 4 | 2C | The course is on the list | ||||
NI-TS4 | Theoretical Seminar Master IV | Z | 4 | 2C | The course is on the list | ||||
MI-TS4 | Theoretical Seminar Master IV |
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 |