Department of Theoretical Computer Science

Provided courses

Code	Course name	Language	WINTER SEMESTER			SUMMER SEMESTER			Enrolled in semester
	Tutor	Language	Completion	Credits (ECTS)	Range	Completion	Credits (ECTS)	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				B261
NIE-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	English	Z,ZK	5	2P+1C				B261
NI-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	English	Z,ZK	5	2P+1C				B261
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á, Ondřej Suchý, Tyler James Tuttle, Tomáš Valla, Jan Volec, Daniela Černá	English	Z,ZK	5	2P+2C				B261
BI-AX1	Algorithms and Graphs 1 Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Matěj Ptáček, Jiřina Scholtzová, Ondřej Suchý, Tomáš Valla, Jan Volec	Czech	Z,ZK	5	2P+2C				B261
BI-AG1.21	Algorithms and Graphs 1 Daniel Dvořák, Albert Havliček, Jan Hladký, Emma Hovorková, Radek Hušek, Veronika Jůzková, Dušan Knop^Ⓖ, Jiří Kvapil, Matěj Kříž, Michal Opler, Matěj Ptáček, Josef Erik Sedláček, Ondřej Suchý, Tomáš Valla, Jan Volec, Jakub Švec	Czech	Z,ZK	5	2P+2C				B261
BIK-AG1.21	Algorithms and Graphs 1 Radek Hušek, Dušan Knop^Ⓖ, Matěj Kříž	Czech	Z,ZK	5	14KP+4KC				B261
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á, Ondřej Suchý, Tomáš Valla, Jan Volec	English	Z,ZK	5	2P+2C				B261
UNIK-ADS	Algorithms and data structures Jiřina Scholtzová, Tomáš Valla^Ⓖ	Czech				Z,ZK	7	20B	The course is not on the list
UNI-ADS	Algorithms and data structures Jan Janoušek, Tomáš Valla^Ⓖ	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	B261
PI-ASP	Architecture of Symbolic Computers		ZK	4	3C	ZK	4	3C	The course is not 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 David Beowulf Bradley-Williams, František Dušek, Jan Holub^Ⓖ, Tomáš Pecka, Martin Svoboda	English	Z,ZK	5	2P+2C				B261
BIK-AAG.21	Automata and Grammars Jan Holub^Ⓖ, Tomáš Pecka, Ondřej Štorc	Czech	Z,ZK	5	14KP+4KC				B261
BI-AAG.21	Automata and Grammars Suzan Catay, Filip Dilmaghani, František Dušek, Žaneta Genčiová, Albert Havliček, Jan Holub^Ⓖ, Alina Ilchenko, Jan Janoušek, Matěj Kříž, Tomáš Pecka, Šimon Rataj, Martin Svoboda, Ondřej Štorc	Czech	Z,ZK	5	2P+2C				B261
NIE-GEN	Code Generators Jan Janoušek^Ⓖ, Petr Máj	English	Z,ZK	5	2P+1C				B261
NI-GEN	Code Generators Jan Janoušek^Ⓖ, Petr Máj	Czech	Z,ZK	5	2P+1C				B261
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.26	Complexity Theory Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý	English	Z,ZK	6	3P+1C				B261
NIE-CPX	Complexity Theory Michal Opler, Ondřej Suchý^Ⓖ	English	Z,ZK	5	3P+1C				B261
NI-CPX.26	Complexity Theory Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý	Czech	Z,ZK	6	3P+1C				B261
QNIE-CPX	Complexity Theory	English	Z,ZK	6	3P+1C				The course is not on the list
QNI-CPX	Complexity Theory Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý	Czech	Z,ZK	6	3P+1C				B261
NI-CPX	Complexity Theory Michal Opler, Ondřej Suchý^Ⓖ	Czech	Z,ZK	5	3P+1C				B261
PI-AVG	Computational genomics algorithms					ZK	4	2P+1C	The course is not on the list
UNI-SPP	Continuous teaching practice Zdeněk Muzikář^Ⓖ, Jiřina Scholtzová	Czech				KZ	15	450XH	B261
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
BI-DAS	Data Structures	Czech				Z,ZK	5	2P+1C	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 Zdeněk Muzikář^Ⓖ, Jiřina Scholtzová	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.24	Effective programming 1 Martin Kačer^Ⓖ	Czech	KZ	4	2P+2C				B261
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				B261
NIE-EVY	Efficient Text Pattern Matching Jan Holub^Ⓖ	English	Z,ZK	5	2P+1C				B261
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 Jan Holub, Dušan Knop, Radek Richtr, Vladimír Smotlacha, Ondřej Suchý		NIC	0	0+0	NIC	0	0+0	B261
NI-FMT	Finite model theory	Czech				Z,ZK	4	2P+1C	The course is not on the list
PI-TGR	Graph Theory Ondřej Suchý, Tomáš Valla					ZK	4	2P+1C	The course is not on the list
NI-GAK.26	Graph theory and combinatorics Tomáš Valla^Ⓖ	Czech				Z,ZK	6	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
NIE-GAK.26	Graph theory and combinatorics Tomáš Valla^Ⓖ	English				Z,ZK	6	2P+2C	The course is not on the list
NIE-ICC	Introduction to Computational Complexity Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý, Tomáš Valla	English	Z,ZK	6	2P+1C+1L				B261
NI-ICC	Introduction to Computational Complexity Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý, Tomáš Valla	Czech	Z,ZK	6	2P+1C+1L				B261
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 Christoph Kirsch^Ⓖ	English	Z	2	2C				B261
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	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
ANI-DVG	Introduction to Discrete and Computational Geometry Maria Saumell Mendiola^Ⓖ	English				Z,ZK	5	2P+1C	The course is not on the list
NIE-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ, Jan Pokorný	English	Z,ZK	5	2P+0S+1C				B261
QNI-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ, Jan Pokorný	Czech	Z,ZK	5	2P+1C				B261
NI-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ, Jan Pokorný	Czech	Z,ZK	5	2P+1C				B261
QNIE-LOM	Linear Optimization and 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	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 Filip Křikava^Ⓖ, Ranjith Kumar Muthuveeran, Petr Máj, Sára Strnadová, Matúš Wall, Filip Říha	English	Z,ZK	5	2P+2C				B261
BIK-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Filip Říha	Czech	Z,ZK	5	14KP+4KC				B261
BI-OOP.21	Object-Oriented Programming Filip Křikava^Ⓖ, Petr Máj, Sára Strnadová, Matúš Wall, Filip Říha	Czech	Z,ZK	5	2P+2C				B261
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				B261
NI-SYP	Parsing and Compilers Jan Janoušek^Ⓖ	English	Z,ZK	5	2P+1C				B261
NIE-ROZ	Pattern Recognition Michal Haindl^Ⓖ, Radek Richtr	English	Z,ZK	5	2P+1C				B261
ANI-ROZ	Pattern Recognition Michal Haindl^Ⓖ	Czech	Z,ZK	5	2P+1C				The course is not on the list
NI-ROZ	Pattern Recognition Michal Haindl^Ⓖ, Radek Richtr	Czech	Z,ZK	5	2P+1C				B261
NI-PLS1	Programming Language Seminar Pierre Donat-Bouillud^Ⓖ, Filip Křikava	English	Z	2	0P+1C				The course is not on the list
NI-PLS4	Programming Language Seminar	English				Z	2	0P+1C	The course is not on the list
NI-PLS3	Programming Language Seminar Pierre Donat-Bouillud^Ⓖ, Filip Křikava	English	Z	2	0P+1C				B261
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 Tomáš Jakl, Jan Janoušek^Ⓖ, Petr Máj, Tomáš Pecka, Petr Šťastný	English	Z,ZK	5	2P+2R				B261
BIK-PPA.21	Programming Paradigms Filip Gregor, Tomáš Jakl, Jan Janoušek^Ⓖ, Tomáš Pecka	Czech	Z,ZK	5	14KP+4KC				B261
BI-PPA.21	Programming Paradigms Filip Gregor, Tomáš Jakl, Jan Janoušek^Ⓖ, Petr Máj, Tomáš Pecka, Petr Šťastný	Czech	Z,ZK	5	2P+2R				B261
BIK-PPA	Programming Paradigms	Czech	Z,ZK	5	14KP+4KC				The course is not on the list
FIT-ACM1	Programming Practices 1 Jakub Charvát, Michal Dvořák, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ					KZ	5	4C	B261
BI-ACM2	Programming Practices 2	Czech	KZ	5	4C				The course is not on the list
FIT-ACM2	Programming Practices 2		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
FIT-ACM3	Programming Practices 3 Jakub Charvát, Michal Dvořák, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ					KZ	5	4C	B261
BI-ACM4	Programming Practices 4 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	KZ	5	4C				The course is not on the list
FIT-ACM4	Programming Practices 4		KZ	5	4C				The course is not on the list
FIT-ACM5	Programming Practices 5					KZ	5	4C	The course is not on the list
FIT-ACM6	Programming Practices 6					KZ	5	4C	The course is not on the list
BIE-PA1.21	Programming and Algorithmics 1 Tomáš Dejmek, Christian Blakely Hughes, Radek Hušek, Jaroslav Kříž, Matyáš Rak, Róbert Selvek, Jan Trávníček^Ⓖ, Ladislav Vagner, Jan Šuráň	English	Z,ZK	7	2P+2R+2C				B261
BIK-PA1.21	Programming and Algorithmics 1 Radek Hušek, Barbora Kolomazníková, Jan Trávníček^Ⓖ, Ladislav Vagner, Ondřej Štorc	Czech	Z,ZK	7	14KP+8KC				B261
BI-PA1.21	Programming and Algorithmics 1 Miroslav Balík, David Bernhauer, Tomáš Dejmek, Jarmila Fialová, Albert Havliček, Radek Hušek, Roman Jelínek, Jiří Kašpar, František Kovář, Jaroslav Kříž, Jan Matoušek, Anna Pavlíková, Matěj Ptáček, Kryštof Píštěk, Matyáš Rak, Róbert Selvek, Jan Trávníček^Ⓖ, Oliver Tušla, Ladislav Vagner, Tomáš Čajan, Jan Řehoř, Ivan Šimeček, Ondřej Štorc, Jan Šuráň, Michal Žáček	Czech	Z,ZK	7	2P+2R+2C				B261
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	The course is not on the list
FIT-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
QNIE-PJK	Programming languages for quantum computing	English				Z,ZK	5	2P+1C	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
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
UNIK-RPP	Reflection of teaching practice	Czech	Z	3	8B				The course is not on the list
UNI-RPP	Reflection of teaching practice Zdeněk Muzikář^Ⓖ, Jiřina Scholtzová	Czech	Z	3	26XH				B261
NIE-RUN	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
NIE-APR	Selected Methods for Program Analysis Filip Křikava^Ⓖ	English	Z,ZK	5	2P+1C				B261
NI-APR	Selected Methods for Program Analysis Filip Křikava^Ⓖ	Czech	Z,ZK	5	2P+1C				B261
NIE-SEM	Semantics of Programming Languages Tomáš Jakl^Ⓖ	English	Z,ZK	5	2P+1C				B261
NI-SEM	Semantics of Programming Languages Tomáš Jakl^Ⓖ	Czech	Z,ZK	5	2P+1C				B261
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 Michal Dvořák, Dušan Knop^Ⓖ	Czech	Z,ZK	5	2P+1C				B261
BIE-SEG	Systems Engineering Christoph Kirsch^Ⓖ	English	Z	0	2C				The course is not on the list
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
FIT-TS1	Theoretical Seminar 1	Czech	Z	4	2C				The course is not on the list
FIT-TS0	Theoretical Seminar 10	Czech				Z	4	2C	The course is not on the list
FIT-TS2	Theoretical Seminar 2	Czech				Z	4	2C	The course is not on the list
FIT-TS3	Theoretical Seminar 3 Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	Z	4	2C				B261
FIT-TS4	Theoretical Seminar 4	Czech				Z	4	2C	The course is not on the list
FIT-TS5	Theoretical Seminar 5	Czech	Z	4	2C				The course is not on the list
FIT-TS6	Theoretical Seminar 6	Czech				Z	4	2C	The course is not on the list
FIT-TS7	Theoretical Seminar 7	Czech	Z	4	2C				The course is not on the list
FIT-TS8	Theoretical Seminar 8	Czech				Z	4	2C	The course is not on the list
FIT-TS9	Theoretical Seminar 9	Czech	Z	4	2C				The course is not on the list
BI-TS1	Theoretical Seminar I Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	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 Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	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				The course is not on the list
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	The course is not on the list