Department of Theoretical Computer Science

Provided courses

Code	Course name	Language	WINTER SEMESTER			SUMMER SEMESTER			Enrolled in semester
	Tutor	Language	completion	credits	range	completion	credits	range	Enrolled in semester
PI-ROZ	Advanced Pattern Recognition Michal Haindl^Ⓖ					ZK	4	3C	B242
PI-APA	Advanced Program Analysis Jan Vitek^Ⓖ	English	ZK	4	3C				B241
NIE-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	English	Z,ZK	5	2P+1C				B241
NI-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	English	Z,ZK	5	2P+1C				B241
NI-ATH	AlgorithmicTheories of Games Dušan Knop, Jan Pokorný, Tomáš Valla^Ⓖ	Czech				Z,ZK	4	2P+2C	The course is not on the list
BIE-AG1.21	Algorithms and Graphs 1 Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	English	Z,ZK	5	2P+2C				B241
BI-AG1.21	Algorithms and Graphs 1 Suzan Catay, Patrik Drbal, Michal Dvořák, Radek Hušek, Dušan Knop^Ⓖ, Daniel Král, Michal Opler, Matěj Ptáček, Josef Erik Sedláček, Martin Slávik, Ondřej Suchý, Tomáš Valla, Ondřej Šofr, Petr Šťastný	Czech	Z,ZK	5	2P+2C				B241
BIK-AG1.21	Algorithms and Graphs 1 Radek Hušek, Dušan Knop^Ⓖ	Czech	Z,ZK	5	14KP+4KC				B241
BIE-AG2.21	Algorithms and Graphs 2 Radek Hušek, Dušan Knop, Michal Opler, Jiřina Scholtzová, Ondřej Suchý^Ⓖ, Tomáš Valla	English				Z,ZK	5	2P+2C	B242
BI-AG2.21	Algorithms and Graphs 2 Michal Dvořák, Radek Hušek, Dušan Knop, Michal Opler, Šimon Schierreich, Jiřina Scholtzová, Ondřej Suchý^Ⓖ, Tomáš Valla	Czech				Z,ZK	5	2P+2C	B242
BIE-AX2	Algorithms and Graphs 2 No Implementation Radek Hušek, Dušan Knop, Michal Opler, Jiřina Scholtzová, Ondřej Suchý^Ⓖ, Tomáš Valla	English							B242
BIE-AX1.24	Algorithms and Graphs No Implementation Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	English	Z,ZK	5	2P+2C				B241
BIE-AX1	Algorithms and Graphs No Implementation Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	English	Z,ZK	4	2P+2C				B241
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 Luděk Kučera^Ⓖ	Czech				Z,ZK	4	2P+1C	B242
PI-ARB	Arbology Jan Janoušek^Ⓖ, Bořivoj Melichar^Ⓖ		ZK	4	3C	ZK	4	3C	B241, B242
PI-ASP	Architecture of Symbolic Computers Josef Kolář^Ⓖ		ZK	4	3C	ZK	4	3C	B241, B242
BIK-ZUM	Artificial Intelligence Fundamentals	Czech				Z,ZK	4	13+4	The course is not on the list
BIE-AAG.21	Automata and Grammars Jan Holub^Ⓖ, Tomáš Pecka, Štěpán Plachý, Ondřej Štorc	English	Z,ZK	5	2P+2C				B241
BIK-AAG.21	Automata and Grammars Jan Holub^Ⓖ, Tomáš Pecka, Štěpán Plachý, Ondřej Štorc	Czech	Z,ZK	5	14KP+4KC				B241
BI-AAG.21	Automata and Grammars Dominika Bohuslavová, Suzan Catay, Jan Holub^Ⓖ, Jan Janoušek, Jiří Lejsek, Tomáš Pecka, Štěpán Plachý, Jiří Skotal, Martin Svoboda, Tomáš Vesecký, Patrik Vodila, Ondřej Štorc	Czech	Z,ZK	5	2P+2C				B241
NIE-GEN	Code Generators	English	Z,ZK	5	2P+1C				The course is not on the list
NI-GEN	Code Generators Jan Janoušek^Ⓖ, Petr Máj	Czech	Z,ZK	5	2P+1C				B241
NI-KTH	Combinatorial Theories of Games Jan Pokorný, Tomáš Valla^Ⓖ	Czech				Z,ZK	4	2P+1C	B242
BIE-CCN	Compiler Construction Christoph Kirsch^Ⓖ	English				Z,ZK	5	2P+1C	B242
BI-CCN	Compiler Construction Christoph Kirsch^Ⓖ	English				Z,ZK	5	2P+1C	B242
NIE-CPX	Complexity Theory Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý	English	Z,ZK	5	3P+1C				B241
QNIE-CPX	Complexity Theory	English	Z,ZK	6	3P+1C				The course is not on the list
QNI-CPX	Complexity Theory	Czech	Z,ZK	6	3P+1C				The course is not on the list
NI-CPX	Complexity Theory Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ	Czech	Z,ZK	5	3P+1C				B241
PI-AVG	Computational genomics algorithms Jan Holub^Ⓖ					ZK	4	2P+1C	B242
UNI-SPP	Continuous teaching practice	Czech	KZ	15	450XH				The course is not on the list
UNIK-SPP	Continuous teaching practice Michal Valenta^Ⓖ	Czech	KZ	15	450XH				The course is not on the list
NIE-KOD	Data Compression Jan Holub^Ⓖ	English				Z,ZK	5	2P+1C	B242
NI-KOD	Data Compression Jan Holub^Ⓖ	English				Z,ZK	5	2P+1C	B242
PI-AKD	Data Compression Algorithms Jan Holub^Ⓖ					ZK	4	3C	B242
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 Michal Valenta^Ⓖ	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 Michal Valenta^Ⓖ	Czech				KZ	7	18B	The course is not on the list
BI-EP1	Effective programming 1 Martin Kačer^Ⓖ	Czech	Z	4	2P+2C				The course is not on the list
BI-EP1.24	Effective programming 1 Martin Kačer^Ⓖ	Czech	KZ	4	2P+2C				B241
NI-PAM	Efficient Preprocessing and Parameterized Algorithms Ondřej Suchý^Ⓖ	Czech				Z,ZK	4	2P+1C	B242
BI-EP2	Efficient Programming 2 Martin Kačer^Ⓖ	Czech				KZ	4	2P+2C	B242
NI-EVY	Efficient Text Pattern Matching Jan Holub^Ⓖ	English	Z,ZK	5	2P+1C				B241
NIE-EVY	Efficient Text Pattern Matching Jan Holub^Ⓖ	English	Z,ZK	5	2P+1C				B241
NI-VOL	Elections Dušan Knop^Ⓖ, Šimon Schierreich	Czech				Z,ZK	5	2P+1C	B242
AKCE	Fiktivní předmět - Akce mimo rozvrhovanou výuku Daniel Dombek^Ⓖ, Jan Holub, Jiří Hunka, Jan Janoušek, Dušan Knop, Hana Kubátová, Antonella Marchesiello, Jan Matoušek, Jan Pokorný, Radek Richtr, Jitka Rybníčková, Jiří Smítka, Jan Spěvák, Ondřej Suchý, Martin Svoboda, Jaroslav Zhouf		NIC	0	0+0	NIC	0	0+0	B241, B242
NI-FMT	Finite model theory Tomáš Jakl^Ⓖ	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 Ondřej Suchý^Ⓖ, Tomáš Valla					ZK	4	2P+1C	B241, B242
NI-GAK	Graph theory and combinatorics Michal Dvořák, Michal Opler, Tomáš Valla^Ⓖ	Czech				Z,ZK	5	2P+2C	B242
NIE-GAK	Graph theory and combinatorics Michal Dvořák, Michal Opler, Tomáš Valla^Ⓖ	English				Z,ZK	5	2P+2C	B242
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 Christoph Kirsch^Ⓖ	English							B241
BIE-CSI	Introduction to Computer Science Christoph Kirsch^Ⓖ	English	Z	2	2C				B241
BI-ICS	Introduction to Computer Science	English				Z	2		The course is not on the list
NIE-DVG	Introduction to Discrete and Computational Geometry Maria Saumell Mendiola^Ⓖ	English				Z,ZK	5	2P+1C	B242
NI-DVG	Introduction to Discrete and Computational Geometry Maria Saumell Mendiola^Ⓖ	English				Z,ZK	5	2P+1C	B242
NIE-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ	English	Z,ZK	5	2P+0S+1C				B241
QNI-LOM	Linear Optimization and Methods	Czech	Z,ZK	5	2P+1C				The course is not on the list
NI-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ	Czech	Z,ZK	5	2P+1C				B241
QNIE-LOM	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 Jaroslav Kruis^Ⓖ	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 Jaroslav Kruis^Ⓖ	English	Z,ZK	5	2P+1C	Z,ZK	5	2P+1C	The course is not on the list
BIE-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Petr Máj, Filip Říha	English	Z,ZK	5	2P+2C				B241
BIK-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Filip Říha	Czech	Z,ZK	5	14KP+4KC				B241
BI-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Petr Máj, Filip Říha	Czech	Z,ZK	5	2P+2C				B241
BI-ORL	Operations Research and Linear Programming Dušan Knop^Ⓖ, Šimon Schierreich	Czech				KZ	5	1P+2C	B242
NIE-PAM	Parameterized Algorithms Ondřej Suchý^Ⓖ	English				Z,ZK	4	2P+1C	B242
NIE-SYP	Parsing and Compilers Jan Janoušek^Ⓖ, Štěpán Plachý	English	Z,ZK	5	2P+1C				B241
NI-SYP	Parsing and Compilers Jan Janoušek^Ⓖ, Štěpán Plachý	English	Z,ZK	5	2P+1C				B241
NIE-ROZ	Pattern Recognition Michal Haindl^Ⓖ, Radek Richtr	English	Z,ZK	5	2P+1C				B241
NI-ROZ	Pattern Recognition Michal Haindl^Ⓖ, Radek Richtr	Czech	Z,ZK	5	2P+1C				B241
NI-PLS1	Programming Language Seminar	English	Z	2	0P+1C				The course is not on the list
NI-PLS4	Programming Language Seminar Pierre Donat-Bouillud^Ⓖ, Filip Křikava	English				Z	2	0P+1C	B242
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 Jan Janoušek^Ⓖ, Tomáš Pecka	English				Z,ZK	5	2P+1C	B242
BI-PJP.21	Programming Languages and Compilers Jan Janoušek^Ⓖ, Tomáš Pecka	Czech				Z,ZK	5	2P+1C	B242
BIE-PPA	Programming Paradigms	English	Z,ZK	5	2P+2C				The course is not on the list
BIE-PPA.21	Programming Paradigms Tomáš Jakl, Jan Janoušek^Ⓖ, Petr Máj, Tomáš Pecka	English	Z,ZK	5	2P+2R				B241
BIK-PPA.21	Programming Paradigms Filip Gregor, Jan Janoušek^Ⓖ, Tomáš Pecka	Czech	Z,ZK	5	14KP+4KC				B241
BI-PPA.21	Programming Paradigms Filip Gregor, Tomáš Jakl, Jan Janoušek^Ⓖ, Petr Máj, Tomáš Pecka, Jan Liam Verter	Czech	Z,ZK	5	2P+2R				B241
BIK-PPA	Programming Paradigms	Czech	Z,ZK	5	14KP+4KC				The course is not on the list
BI-ACM	Programming Practices 1 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				KZ	5	4C	B242
BI-ACM2	Programming Practices 2 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	KZ	5	4C				B241
BI-ACM3	Programming Practices 3 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				KZ	5	4C	B242
BI-ACM4	Programming Practices 4 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	KZ	5	4C				B241
BIE-PA1.21	Programming and Algorithmics 1 Tomáš Dejmek, Foivos Fioravantes, Radek Hušek, František Kovář, Štěpán Plachý, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel	English	Z,ZK	7	2P+2R+2C				B241
BIK-PA1.21	Programming and Algorithmics 1 Radek Hušek, Barbora Kolomazníková, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel, Ondřej Štorc	Czech	Z,ZK	7	14KP+8KC				B241
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				B241
BIE-PA2.21	Programming and Algorithmics 2 Tomáš Dejmek, Radek Hušek, František Kovář, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel	English				Z,ZK	7	2P+1R+2C	B242
BI-PA2.21	Programming and Algorithmics 2 Tomáš Dejmek, Jarmila Fialová, Jakub Horák, Radek Hušek, Roman Jelínek, Barbora Kolomazníková, František Kovář, Jaroslav Kříž, Petr Laštovička, Jan Matoušek, Petr Pauš, Tomáš Pecka, Matyáš Rak, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel, Michaela Weberová, Filip Čihák, Ondřej Štorc, Jan Šuráň, Petr Šťastný	Czech				Z,ZK	7	2P+1R+2C	B242
BIK-PA2.21	Programming and Algorithmics 2 Radek Hušek, Barbora Kolomazníková, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel, Ondřej Štorc	Czech				Z,ZK	7	14KP+6KC	B242
BI-PMA	Programming in Mathematica Zdeněk Buk^Ⓖ	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				Z,ZK	5	2P+1C	The course is not on the list
QNIE-PJK	Programming languages for quantum computing	English				Z,ZK	5	2P+1C	The course is not on the list
UNIK-PPP	Propedeutics of pedagogical practice Michal Valenta^Ⓖ	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
UNIK-RPP	Reflection of teaching practice Michal Valenta^Ⓖ	Czech	Z	3	8B				The course is not on the list
UNI-RPP	Reflection of teaching practice	Czech	Z	3	26XH				The course is not on the list
MIE-RUN.16	Runtime Systems Filip Křikava^Ⓖ	English	Z,ZK	5	2P+1C				B242
NIE-RUN	Runtime Systems	English				Z,ZK	5	2P+1C	The course is not on the list
NI-RUN	Runtime Systems Filip Křikava^Ⓖ	English				Z,ZK	5	2P+1C	B242
BI-VAK.21	Selected Applications of Combinatorics Dušan Knop, Michal Opler^Ⓖ, Jan Pokorný, Šimon Schierreich, Jiřina Scholtzová, Ondřej Suchý, Tomáš Valla	Czech				Z	3	2R	B242
BIE-VAK.21	Selected Combinatorics Applications Dušan Knop, Michal Opler^Ⓖ, Jan Pokorný, Šimon Schierreich, Jiřina Scholtzová, Ondřej Suchý, Tomáš Valla	English				Z	3	2R	B242
NI-APR	Selected Methods for Program Analysis Filip Křikava^Ⓖ	Czech	Z,ZK	5	2P+1C				B242
PI-STR	Stringology Jan Holub^Ⓖ					ZK	4	3C	B242
NI-MOB	Student mobility	Czech							The course is not on the list
NI-SLA	Sublinear algorithms Dušan Knop^Ⓖ	Czech	Z,ZK	5	2P+1C				B241
BIE-SEG	Systems Engineering Christoph Kirsch^Ⓖ	English	Z	0	2C				B241
BI-SEG	Systems Engineering Christoph Kirsch^Ⓖ	English	ZK	0	2C				B241
BI-TEX	TeX and Typography Petr Olšák^Ⓖ	Czech				Z,ZK	4	2P+1C	B242
BI-TS1	Theoretical Seminar I Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	Z	4	2C				The course is not on the list
BI-TS2	Theoretical Seminar II Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				Z	4	2C	B241, B242
BI-TS3	Theoretical Seminar III Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	Z	4	2C				B241
BI-TS4	Theoretical Seminar IV Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				Z	4	2C	B242
NI-TS1	Theoretical Seminar Master I Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	Z	4	2C				The course is not on the list
NI-TS2	Theoretical Seminar Master II Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				Z	4	2C	The course is not on the list
NI-TS3	Theoretical Seminar Master III Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	Z	4	2C				B241
NI-TS4	Theoretical Seminar Master IV Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				Z	4	2C	B242
PI-TPL	Type Systems for Programming Languages Jan Vitek^Ⓖ	English				ZK	4	3C	B241, B242