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 not 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 not 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 not 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 not on the list | |||
BIE-AX2 | Algorithms and Graphs 2 No Implementation |
English | The course is not 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 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 | 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 not 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 not on the list | |||
BI-CCN | Compiler Construction |
English | Z,ZK | 5 | 3P | The course is not on the list | |||
MIE-CPX | Complexity Theory |
English | Z,ZK | 5 | 3P+1C | The course is not on the list | |||
NIE-CPX | Complexity Theory | English | Z,ZK | 5 | 3P+1C | The course is 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 not on the list | ||||
NIE-KOD | Data Compression |
English | Z,ZK | 5 | 2P+1C | The course is not 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 not 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 not on the list | ||||
BI-EP1 | Effective programming 1 | Czech | Z | 4 | 2P+2C | The course is not on the list | |||
BI-EP1.24 | Effective programming 1 | Czech | KZ | 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 not on the list | |||
BI-EP2 | Efficient Programming 2 |
Czech | KZ | 4 | 2P+2C | The course is not 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 not 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 not 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 not on the list | |||
NIE-GAK | Graph theory and combinatorics |
English | 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 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 not on the list | |||
NI-DVG | Introduction to Discrete and Computational Geometry |
English | Z,ZK | 5 | 2P+1C | The course is not on the list | |||
NIE-LOM | Linear Optimization and Methods | English | Z,ZK | 5 | 2P+0S+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 | Z,ZK | 5 | 2P+1C | The course is not 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 | Z,ZK | 5 | 2P+1C | The course is not 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 not on the list | |||
NIE-PAM | Parameterized Algorithms | English | Z,ZK | 4 | 2P+1C | The course is not 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 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 not 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 not 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 not on the list | |||
BI-ACM2 | Programming Practices 2 | Czech | KZ | 5 | 4C | The course is 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 Miroslav Balík, Daniel Breiner, Vít Břichňáč, Tomáš Dejmek, Jarmila Fialová, Radek Hušek, Roman Jelínek, Jiří Kašpar, František Kovář, Jaroslav Kříž, Petr Laštovička, Jan Matoušek, Tomáš Pecka, Sebastian Prokop, Róbert Selvek, Jan Trávníček, Oliver Tušla, Ladislav Vagner, Josef Vogel, Ivan Šimeček, Ondřej Štorc, Jan Šuráň, Jakub Švec
|
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 not 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 not on the list | |||
BIK-PA2.21 | Programming and Algorithmics 2 |
Czech | Z,ZK | 7 | 14KP+6KC | The course is not 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 | Z,ZK | 4 | 2P+2C | The course is not 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 not 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 not on the list | |||
BIE-VAK.21 | Selected Combinatorics Applications |
English | Z | 3 | 2R | The course is not on the list | |||
NI-APR | Selected Methods for Program Analysis |
Czech | Z,ZK | 5 | 2P+1C | The course is not on the list | |||
PI-STR | Stringology |
ZK | 4 | 3C | The course is not 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 not 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 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 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 not 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 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 | Czech | 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 | ||||
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 |