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					ZK	4	3C	The course is not on the list
PI-APA	Advanced Program Analysis Jan Vitek^Ⓖ	English	ZK	4	3C				B251
NIE-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	English	Z,ZK	5	2P+1C				B251
NI-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	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 Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	English	Z,ZK	5	2P+2C				B251
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				B251
BIK-AG1.21	Algorithms and Graphs 1 Radek Hušek, Dušan Knop^Ⓖ	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 Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	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 Jan Janoušek^Ⓖ		ZK	4	3C	ZK	4	3C	B251
PI-ASP	Architecture of Symbolic Computers Josef Kolář^Ⓖ		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 Jan Holub^Ⓖ	English	Z,ZK	5	2P+2C				B251
BIK-AAG.21	Automata and Grammars Jan Holub^Ⓖ, Tomáš Pecka, Štěpán Plachý, Ondřej Štorc	Czech	Z,ZK	5	14KP+4KC				B251
BI-AAG.21	Automata and Grammars Dominika Bohuslavová, Suzan Catay, Jan Holub^Ⓖ, Jan Janoušek, Tomáš Pecka, Jiří Skotal, Martin Svoboda, Patrik Vodila, Ondřej Štorc	Czech	Z,ZK	5	2P+2C				B251
NIE-GEN	Code Generators Jan Janoušek^Ⓖ, Petr Máj	English	Z,ZK	5	2P+1C				B251
NI-GEN	Code Generators Jan Janoušek^Ⓖ, Petr Máj	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 Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý	English	Z,ZK	5	3P+1C				B251
QNIE-CPX	Complexity Theory Dušan Knop^Ⓖ, Ondřej Suchý	English	Z,ZK	6	3P+1C				B251
QNI-CPX	Complexity Theory Dušan Knop^Ⓖ, Ondřej Suchý	Czech	Z,ZK	6	3P+1C				B251
NI-CPX	Complexity Theory Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ	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 Zdeněk Muzikář^Ⓖ, Jiřina Scholtzová	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
BI-EP1	Effective programming 1	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				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 Jan Holub^Ⓖ	English	Z,ZK	5	2P+1C				B251
NIE-EVY	Efficient Text Pattern Matching Jan Holub^Ⓖ	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
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 Christoph Kirsch^Ⓖ	English							The course is not on the list
BIE-CSI	Introduction to Computer Science Christoph Kirsch^Ⓖ	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 Dušan Knop^Ⓖ	English	Z,ZK	5	2P+0S+1C				B251
QNI-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ	Czech	Z,ZK	5	2P+1C				B251
NI-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ	Czech	Z,ZK	5	2P+1C				B251
QNIE-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ	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 Martin Drozdík, Filip Křikava^Ⓖ, Petr Máj, Filip Říha	English	Z,ZK	5	2P+2C				B251
BIK-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Filip Říha	Czech	Z,ZK	5	14KP+4KC				B251
BI-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Petr Máj, Filip Říha	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 Jan Janoušek^Ⓖ	English	Z,ZK	5	2P+1C				B251
NI-SYP	Parsing and Compilers Jan Janoušek^Ⓖ	English	Z,ZK	5	2P+1C				B251
NIE-ROZ	Pattern Recognition Michal Haindl^Ⓖ, Radek Richtr	English	Z,ZK	5	2P+1C				B251
NI-ROZ	Pattern Recognition Michal Haindl^Ⓖ, Radek Richtr	Czech	Z,ZK	5	2P+1C				B251
NI-PLS1	Programming Language Seminar Pierre Donat-Bouillud^Ⓖ, Filip Křikava	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 Pierre Donat-Bouillud^Ⓖ, Filip Křikava	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 Tomáš Jakl, Jan Janoušek^Ⓖ, Petr Máj, Tomáš Pecka	English	Z,ZK	5	2P+2R				B251
BIK-PPA.21	Programming Paradigms Filip Gregor, Jan Janoušek^Ⓖ	Czech	Z,ZK	5	14KP+4KC				B251
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				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 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	KZ	5	4C				B251
BIE-PA1.21	Programming and Algorithmics 1 Tomáš Dejmek, Radek Hušek, František Kovář, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel	English	Z,ZK	7	2P+2R+2C				B251
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				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 Zdeněk Buk^Ⓖ	Czech	Z,ZK	4	2P+2C	Z,ZK	4	2P+2C	B251
QNI-PJK	Programming languages for quantum computing Jan Janoušek^Ⓖ	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
NIE-RUN	Runtime Systems Filip Křikava^Ⓖ	English				Z,ZK	5	2P+1C	B251
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 Filip Křikava^Ⓖ	Czech	Z,ZK	5	2P+1C				B251
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 Dušan Knop^Ⓖ	Czech	Z,ZK	5	2P+1C				B251
BIE-SEG	Systems Engineering Christoph Kirsch^Ⓖ	English	Z	0	2C				B251
BI-SEG	Systems Engineering Christoph Kirsch^Ⓖ	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 Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	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 Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	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 Jan Vitek^Ⓖ	English				ZK	4	3C	B251