Department of Theoretical Computer Science
Provided courses
Code | Course name | Language | WINTER SEMESTER | SUMMER SEMESTER | Enrolled in semester | ||||
Tutor | completion | credits | range | completion | credits | range | |||
PI-ROZ | Advanced Pattern Recognition |
ZK | 4 | 3C | The course is not on the list | ||||
PI-APA | Advanced Program Analysis | English | ZK | 4 | 3C | B251 | |||
NIE-APT | Advanced Program Testing | English | Z,ZK | 5 | 2P+1C | B251 | |||
NI-APT | Advanced Program Testing | English | Z,ZK | 5 | 2P+1C | B251 | |||
NI-ATH | AlgorithmicTheories of Games |
Czech | Z,ZK | 4 | 2P+2C | The course is not on the list | |||
BIE-AG1.21 | Algorithms and Graphs 1 | English | Z,ZK | 5 | 2P+2C | B251 | |||
BI-AG1.21 | Algorithms and Graphs 1 | Czech | Z,ZK | 5 | 2P+2C | B251 | |||
BIK-AG1.21 | Algorithms and Graphs 1 | Czech | Z,ZK | 5 | 14KP+4KC | B251 | |||
BIE-AG2.21 | Algorithms and Graphs 2 |
English | 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.24 | Algorithms and Graphs No Implementation | English | Z,ZK | 5 | 2P+2C | B251 | |||
BIE-AX1 | Algorithms and Graphs No Implementation |
English | Z,ZK | 4 | 2P+2C | The course is not on the list | |||
UNIK-ADS | Algorithms and data structures |
Czech | Z,ZK | 7 | 20B | The course is not on the list | |||
UNI-ADS | Algorithms and data structures |
Czech | Z,ZK | 7 | 2P+2C | The course is not 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 | B251 | |
PI-ASP | Architecture of Symbolic Computers | ZK | 4 | 3C | ZK | 4 | 3C | B251 | |
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 | B251 | |||
BIK-AAG.21 | Automata and Grammars | Czech | Z,ZK | 5 | 14KP+4KC | B251 | |||
BI-AAG.21 | Automata and Grammars | Czech | Z,ZK | 5 | 2P+2C | B251 | |||
NI-GEN | Code Generators | Czech | Z,ZK | 5 | 2P+1C | B251 | |||
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 | 2P+1C | The course is not on the list | |||
BI-CCN | Compiler Construction |
English | Z,ZK | 5 | 2P+1C | The course is not on the list | |||
NIE-CPX | Complexity Theory | English | Z,ZK | 5 | 3P+1C | B251 | |||
QNIE-CPX | Complexity Theory | English | Z,ZK | 6 | 3P+1C | B251 | |||
QNI-CPX | Complexity Theory | Czech | Z,ZK | 6 | 3P+1C | B251 | |||
NI-CPX | Complexity Theory | Czech | Z,ZK | 5 | 3P+1C | B251 | |||
PI-AVG | Computational genomics algorithms |
ZK | 4 | 2P+1C | The course is not on the list | ||||
UNI-SPP | Continuous teaching practice |
Czech | KZ | 15 | 450XH | The course is not on the list | |||
UNIK-SPP | Continuous teaching practice |
Czech | KZ | 15 | 450XH | The course is not on the list | |||
NIE-KOD | 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 | |||
PI-AKD | Data Compression Algorithms |
ZK | 4 | 3C | The course is not on the list | ||||
UNI-DI1 | Didactics of Informatics I | Czech | Z,ZK | 6 | 2P+2C | The course is not on the list | |||
UNIK-DI1 | Didactics of Informatics I |
Czech | Z,ZK | 6 | 16B | The course is not on the list | |||
UNI-DI2 | Didactics of Informatics II |
Czech | KZ | 7 | 1P+2C | The course is not on the list | |||
UNIK-DI2 | Didactics of Informatics II |
Czech | KZ | 7 | 18B | The course is not on the list | |||
UNIK-DIP | Diploma thesis |
Z | 9 | 270ZP | The course is not on the list | ||||
UNI-DIP | Diploma thesis |
Z | 9 | 270ZP | 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 | B251 | |||
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 | B251 | |||
NIE-EVY | Efficient Text Pattern Matching | English | Z,ZK | 5 | 2P+1C | B251 | |||
NI-VOL | Elections |
Czech | Z,ZK | 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 not on the list | |
NI-FMT | Finite model theory |
Czech | Z,ZK | 4 | 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 | |||
PI-TGR | Graph Theory |
ZK | 4 | 2P+1C | The course is not 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 not on the list | ||||||
BIE-CSI | Introduction to Computer Science | English | Z | 2 | 2C | B251 | |||
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 | B251 | |||
QNI-LOM | Linear Optimization and Methods | Czech | Z,ZK | 5 | 2P+1C | B251 | |||
NI-LOM | Linear Optimization and Methods | Czech | Z,ZK | 5 | 2P+1C | B251 | |||
QNIE-LOM | Linear Optimization and Methods | Czech | Z,ZK | 5 | 2P+1C | B251 | |||
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 |
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 |
BIE-OOP.21 | Object-Oriented Programming | English | Z,ZK | 5 | 2P+2C | B251 | |||
BIK-OOP.21 | Object-Oriented Programming | Czech | Z,ZK | 5 | 14KP+4KC | B251 | |||
BI-OOP.21 | Object-Oriented Programming | Czech | Z,ZK | 5 | 2P+2C | B251 | |||
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 | B251 | |||
NI-SYP | Parsing and Compilers | English | Z,ZK | 5 | 2P+1C | B251 | |||
NIE-ROZ | Pattern Recognition | English | Z,ZK | 5 | 2P+1C | B251 | |||
NI-ROZ | Pattern Recognition | Czech | Z,ZK | 5 | 2P+1C | B251 | |||
NI-PLS1 | Programming Language Seminar | English | Z | 2 | 0P+1C | B251 | |||
NI-PLS4 | Programming Language Seminar |
English | Z | 2 | 0P+1C | The course is not on the list | |||
NI-PLS3 | Programming Language Seminar |
English | Z | 2 | 0P+1C | The course is not on the list | |||
NI-PLS2 | Programming Language Seminar | English | Z | 2 | 0P+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 | |||
BI-PJP.21 | 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 | B251 | |||
BIK-PPA.21 | Programming Paradigms | Czech | Z,ZK | 5 | 14KP+4KC | B251 | |||
BI-PPA.21 | Programming Paradigms | Czech | Z,ZK | 5 | 2P+2R | B251 | |||
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 not 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 | B251 | |||
BIE-PA1.21 | Programming and Algorithmics 1 | English | Z,ZK | 7 | 2P+2R+2C | B251 | |||
BIK-PA1.21 | Programming and Algorithmics 1 | Czech | Z,ZK | 7 | 14KP+8KC | B251 | |||
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 | B251 | |||
BIE-PA2.21 | Programming and Algorithmics 2 |
English | 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 | |||
BI-PMA | Programming in Mathematica |
Czech | Z,ZK | 4 | 2P+2C | Z,ZK | 4 | 2P+2C | The course is not on the list |
QNI-PJK | Programming languages for quantum computing | Czech | The course is not on the list | ||||||
UNIK-PPP | Propedeutics of pedagogical practice |
Czech | KZ | 6 | 16B | The course is not on the list | |||
UNI-PPP | Propedeutics of pedagogical practice |
Czech | KZ | 6 | 2P+2C | The course is not on the list | |||
UNI-RPP | Reflection of teaching practice |
Czech | Z | 3 | 26XH | The course is not on the list | |||
UNIK-RPP | Reflection of teaching practice |
Czech | Z | 3 | 8B | 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 | |||
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 | B251 | |||
UNI-SPD | Semester project for thesis |
Czech | Z | 3 | 90ZP | The course is not on the list | |||
UNIK-SPD | Semester project for thesis |
Czech | Z | 3 | 90ZP | The course is not on the list | |||
PI-STR | Stringology |
ZK | 4 | 3C | The course is not on the list | ||||
NI-MOB | Student mobility |
Czech | The course is not on the list | ||||||
NI-SLA | Sublinear algorithms | Czech | Z,ZK | 5 | 2P+1C | B251 | |||
BIE-SEG | Systems Engineering | English | Z | 0 | 2C | B251 | |||
BI-SEG | Systems Engineering | English | ZK | 0 | 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 | B251 | |||
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 not on the list | |||
BI-TS4 | Theoretical Seminar IV |
Czech | Z | 4 | 2C | The course is not on the list | |||
NI-TS1 | Theoretical Seminar Master I | Czech | Z | 4 | 2C | B251 | |||
NI-TS2 | Theoretical Seminar Master II |
Czech | Z | 4 | 2C | The course is not on the list | |||
NI-TS3 | Theoretical Seminar Master III |
Czech | 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 | B251 |