Department of Theoretical Computer Science

Provided courses

Code	Course name	Language	WINTER SEMESTER			SUMMER SEMESTER
	Tutor	Language	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 Jan Vitek	English	ZK	4	3C				The course is on the list
NIE-APT	Advanced Program Testing Pierre Donat-Bouillud	English	Z,ZK	5	2P+1C				The course is on the list
NI-APT	Advanced Program Testing Pierre Donat-Bouillud	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 Dušan Knop, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	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 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				The course is on the list
BIK-AG1.21	Algorithms and Graphs 1 Radek Hušek, Dušan Knop	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 Dušan Knop, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	English	Z,ZK	4	2P+2C				The course is on the list
BI-AVI.21	Algorithms visually Luděk Kučera	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	The course is on the list
PI-ASP	Architecture of Symbolic Computers Josef Kolář		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 Jan Holub, Štěpán Plachý	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 Jan Holub, Štěpán Plachý	Czech	Z,ZK	5	14KP+4KC				The course is on the list
BI-AAG.21	Automata and Grammars Dominika Bohuslavová, Suzan Catay, Jan Holub, Jan Janoušek, Jiří Lejsek, Tomáš Pecka, Štěpán Plachý, Martin Svoboda, Tomáš Vesecký, Patrik Vodila, Ondřej Štorc	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 Jan Janoušek, Petr Máj	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 Dušan Knop, Michal Opler, Ondřej Suchý	English	Z,ZK	5	3P+1C				The course is on the list
NI-CPX	Complexity Theory Dušan Knop, Michal Opler, Ondřej Suchý	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 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				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 Jan Holub	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 Jan Holub	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 Daniel Dombek, Jan Holub, Jiří Hunka, Jan Janoušek, Dušan Knop, Hana Kubátová, Antonella Marchesiello, Jan Matoušek, Jan Pokorný, 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	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 Ondřej Suchý, Tomáš Valla					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 Christoph Kirsch	English							The course is on the list
BIE-CSI	Introduction to Computer Science Christoph Kirsch	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 Dušan Knop	English	Z,ZK	5	2P+0S+1C				The course is on the list
NI-LOM	Linear Optimization and Methods Dušan Knop	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 Jaroslav Kruis	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 Jaroslav Kruis	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 Martin Drozdík, Filip Křikava, Petr Máj, Filip Říha	English	Z,ZK	5	2P+2C				The course is on the list
BIK-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava, Filip Říha	Czech	Z,ZK	5	14KP+4KC				The course is on the list
BI-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava, Petr Máj, Filip Říha	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 Ondřej Suchý	English				Z,ZK	4	2P+1C	The course is not on the list
NIE-SYP	Parsing and Compilers Jan Janoušek, Štěpán Plachý	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 Jan Janoušek, Štěpán Plachý	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 Michal Haindl, Radek Richtr	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 Michal Haindl, Radek Richtr	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 Tomáš Jakl, Jan Janoušek, Petr Máj	English	Z,ZK	5	2P+2R				The course is on the list
BIK-PPA.21	Programming Paradigms Filip Gregor, Jan Janoušek	Czech	Z,ZK	5	14KP+4KC				The course is on the list
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				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 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý, Tomáš Valla	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 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý, Tomáš Valla	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 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				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 Radek Hušek, Barbora Kolomazníková, Jan Trávníček, Ladislav Vagner, Josef Vogel, Ondřej Štorc	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 Zdeněk Buk	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 Dušan Knop	Czech	Z,ZK	5	2P+1C				The course is on the list
BIE-SEG	Systems Engineering Christoph Kirsch	English	Z	0	2C				The course is on the list
BI-SEG	Systems Engineering Christoph Kirsch	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 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, Ondřej Suchý, Tomáš Valla	Czech				Z	4	2C	The course is on the list
BI-TS3	Theoretical Seminar III Dušan Knop, Ondřej Suchý, Tomáš Valla	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 Dušan Knop, Ondřej Suchý, Tomáš Valla	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 Dušan Knop, Ondřej Suchý, Tomáš Valla	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 Jan Vitek	English				ZK	4	3C	The course is on the list