Department of Theoretical Computer Science

Zajišťované studijní plány

Computer Science (NI-TI) – navazující
- Specialization Computer Science, Presented in Czech, Version 2018 (full-time)
System Programming (MI-SP) – navazující
- Specialization System Programming, Presented in Czech, Version 2014, 2015 (full-time)
- Specialization System Programming, Presented in Czech, Version 2016, 2017 and 2018 (full-time)
- Specialization Computer Science, Presented in Czech, Version 2016-2017 (full-time)
Computer Science (BI-TI) – bachelor
- Computer Science (Presented in Czech) (combined)
- Computer Science - Version for those who Enrolled in 2013 (in Czech) (full-time)
- Computer Science - Version for those who Enrolled in 2014 (in Czech) (full-time)
- Computer Science (Presented in Czech), Version 2014 (combined)
- Bc. Branch Computer Science, in Czech, Version 2015, 2016, 2017 and 2018 (full-time)
Computer Science (Bachelor, in English) (BIE-TI) – master
- Bc. Branch Computer Science, Presented in English, Version 2015, 2016, 2017 and 2018 (full-time)

Provided courses

Code	Course name	Language	WINTER SEMESTER			SUMMER SEMESTER
	Tutor	Language	completion	credits	range	completion	credits	range
MIE-PAL.16	Advanced Algorithms					Z,ZK	5	2+1	The course is not on the list
MIE-PAL	Advanced Algorithms					Z,ZK	4	2+1	The course is not on the list
MI-PAL.16	Advanced Algorithms	Czech				Z,ZK	5	2+1	The course is not on the list
MI-PAL	Advanced Algorithms Luděk Kučera, Tomáš Valla	Czech				Z,ZK	4	2+1	The course is on the list
PI-ROZ	Advanced Pattern Recognition Michal Haindl					ZK	4	0+3	The course is on the list
PI-APA	Advanced Program Analysis Jan Vítek		ZK	4	0+3				The course is on the list
BIE-AG1	Algorithms and Graphs 1 Jiřina Scholtzová, Pavel Tvrdík		Z,ZK	6	2+2				The course is on the list
BIK-AG1	Algorithms and Graphs 1 Jiří Chludil, Pavel Tvrdík	Czech	Z,ZK	6	14+4				The course is on the list
BI-AG1	Algorithms and Graphs 1 Václav Blažej, Jiří Chludil, Roman Jelínek, Jan Matyáš Křišťan, Šimon Lomič, Josef Malík, Peter Mitura, Štěpán Plachý, Jiřina Scholtzová, Ondřej Suchý, Pavel Tvrdík, Tomáš Valla, Tung Anh Vu, Radovan Červený, Eliška Šestáková	Czech	Z,ZK	6	2+2				The course is on the list
BIE-AG2	Algorithms and Graphs 2 Jiřina Scholtzová					Z,ZK	5	2+2	The course is on the list
BI-AG2	Algorithms and Graphs 2 Václav Blažej, Josef Malík, Štěpán Plachý, Ondřej Suchý, Tomáš Valla, Radovan Červený	Czech				Z,ZK	5	2+2	The course is on the list
PI-AVG	Algoritmy výpočetní genomiky Jan Holub					ZK	4	2+1	The course is not on the list
PI-ARB	Arbology Jan Janoušek, Bořivoj Melichar		ZK	4	0+3	ZK	4	0+3	The course is on the list
PI-ASP	Architecture of Symbolic Computers Josef Kolář		ZK	4	0+3	ZK	4	0+3	The course is on the list
BIE-AAG	Automata and Grammars Ondřej Guth, Jan Holub, Jan Janoušek, Tomáš Pecka, Martin Svoboda, Jan Trávníček		Z,ZK	6	2+2				The course is on the list
BI-AAG	Automata and Grammars Ondřej Guth, Jan Holub, Jan Janoušek, Tomáš Pecka, Štěpán Plachý, Radomír Polách, Martin Svoboda, Jan Trávníček, Eliška Šestáková	Czech	Z,ZK	6	2+2				The course is on the list
BIK-AAG	Automata and Grammars Ondřej Guth, Jan Holub, Jan Janoušek, Tomáš Pecka, Martin Svoboda, Eliška Šestáková	Czech	Z,ZK	6	13+6				The course is on the list
MIE-AVY.16	Automata in Text Pattern Matching					Z,ZK	5	2+1	The course is not on the list
MIE-AVY	Automata in Text Pattern Matching Ondřej Guth, Bořivoj Melichar					Z,ZK	4	2+1	The course is on the list
MI-AVY.16	Automata in Text Pattern Matching	Czech				Z,ZK	5	2+1	The course is not on the list
MI-AVY	Automata in Text Pattern Matching Ondřej Guth, Bořivoj Melichar	Czech				Z,ZK	4	2+1	The course is on the list
MIE-GEN.16	Code Generators					Z,ZK	5	2+1	The course is not on the list
MIE-GEN	Code Generators Jan Janoušek, Petr Máj					Z,ZK	4	2+1	The course is on the list
MI-GEN.16	Code Generators	Czech				Z,ZK	5	2+1	The course is not on the list
MI-GEN	Code Generators Jan Janoušek, Petr Máj	Czech				Z,ZK	4	2+1	The course is on the list
MI-ATH	Combinatorial Theories of Games Václav Blažej, Tomáš Valla					Z,ZK	4	2+2	The course is on the list
MI-LCF	Compiler system LLVM		Z,ZK	4					The course is not on the list
MIE-LCF	Compiling system LLVM		Z,ZK	4	0+0				The course is not on the list
MIE-CPX	Complexity Theory Luděk Kučera		Z,ZK	5	3+1				The course is on the list
MI-CPX	Complexity Theory Luděk Kučera, Ondřej Suchý	Czech	Z,ZK	5	3+1				The course is on the list
MIE-KOD	Data Compression Jan Holub, Radomír Polách					Z,ZK	4	2+1	The course is on the list
MIE-KOD.16	Data Compression					Z,ZK	5	2+1	The course is not on the list
MI-KOD.16	Data Compression Jan Holub, Radomír Polách	Czech				Z,ZK	5	2+1	The course is on the list
MI-KOD	Data Compression	Czech				Z,ZK	4	2+1	The course is not on the list
PI-AKD	Data Compression Algorithms Jan Holub					ZK	4	0+3	The course is on the list
BIK-VZD	Data Mining	Czech				Z,ZK	4	13+4	The course is not on the list
MIE-ADM.16	Data Mining Algorithms					Z,ZK	5	2+1	The course is not on the list
BI-EP1	Effective programming 1 Martin Kačer	Czech	Z	4	1+2				The course is on the list
BI-EFA	Efficient Algorithms	Czech	Z,ZK	5	2+2				The course is not on the list
BIK-EFA	Efficient Algorithms	Czech	Z,ZK	5	13+4				The course is not on the list
BIE-EFA	Efficient Algorithms		Z,ZK	5	2+2				The course is not on the list
BIK-EIA	Efficient Implementation of Algorithms	Czech	Z,ZK	5	13+4				The course is not on the list
BIE-EIA	Efficient Implementation of Algorithms Ivan Šimeček		Z,ZK	5	2+1				The course is on the list
MI-PAM	Efficient Preprocessing and Parameterized Algorithms Ondřej Suchý, Radovan Červený					Z,ZK	4	2+1	The course is on the list
BI-EP2	Efficient Programming 2 Martin Kačer	Czech				KZ	4	2+2	The course is on the list
MI-EVY.16	Efficient Text Pattern Matching Jan Holub, Radomír Polách	Czech	Z,ZK	5	2+1				The course is on the list
MI-EVY	Efficient Text Pattern Matching	Czech	Z,ZK	4	2+1				The course is not on the list
MIE-EVY	Efficient Text Pattern Matching		Z,ZK	4	2+1				The course is not on the list
MIE-EVY.16	Efficient Text Pattern Matching Jan Holub, Radomír Polách		Z,ZK	5	2+1				The course is on the list
BI-EIA	Efficient implementation of algorithms Ivan Šimeček	Czech	Z,ZK	5	2+1				The course is not on the list
BIE-TED	Electronic Documentation Design Ondřej Guth, Jan Holub, Vojtěch Jirkovský, Radomír Polách					KZ	5	2+2	The course is not on the list
BIK-TED	Electronic Documentation Design	Czech				KZ	5	13+4	The course is not on the list
BI-TED	Electronic Documentation Design Ondřej Guth, Jan Holub	Czech				KZ	5	2+1	The course is not on the list
AKCE	Fiktivní předmět - Akce mimo rozvrhovanou výuku Jan Holub, Jan Janoušek, Josef Kolář, Hana Kubátová, Zdeněk Muzikář, Jiří Smítka		NIC	0	0+0	NIC	0	0+0	The course is on the list
MIE-FLP	Functional and Logical Programming Josef Kolář					Z,ZK	4	2+1	The course is not on the list
MIE-FLP.16	Functional and Logical Programming Josef Kolář					Z,ZK	5	2+1	The course is on the list
MI-FLP	Functional and Logical Programming Jan Janoušek	Czech				Z,ZK	4	2+1	The course is on the list
MI-FLP.16	Functional and Logical Programming	Czech				Z,ZK	5	2+1	The course is not on the list
BIK-GRA	Graph Algorithms Jiří Chludil, Josef Kolář	Czech				Z,ZK	5	13+4	The course is not on the list
BI-GRA	Graph Algorithms Jiří Chludil, Josef Kolář	Czech				Z,ZK	5	2+2	The course is not on the list
BIE-GRA	Graph Algorithms and Complexity Theory Josef Kolář					Z,ZK	5	2+2	The course is not on the list
PI-TGR	Graph Theory Jan Kratochvíl, Ondřej Suchý, Tomáš Valla		ZK	4	2+1				The course is on the list
MI-GAK	Graph theory and combinatorics Štěpán Starosta, Tomáš Valla	Czech				Z,ZK	5	2+2	The course is on the list
BI-ICS	Introduction to Computer Science Josef Kolář					Z	2	0+0	The course is on the list
BI-ICS.18	Introduction to Computer Science Marcel Jiřina, Josef Kolář, Jiřina Scholtzová		Z	3	0+0	Z	3	0+0	The course is on the list
MIE-LOM.16	Linear Optimization and Methods		Z,ZK	5	2+1				The course is not on the list
MIE-LOM	Linear Optimization and Methods		Z,ZK	4	2+1				The course is not on the list
MI-LOM	Linear Optimization and Methods	Czech	Z,ZK	4	2+1				The course is not on the list
MI-LOM.16	Linear Optimization and Methods Michal Rada, Michal Černý	Czech	Z,ZK	5	2+1				The course is on the list
MI-NON.16	Nonlinear Continuous Optimization and Numerical Methods Jaroslav Kruis	Czech	Z,ZK	5	2+1				The course is on the list
MI-NON	Nonlinear Continuous Optimization and Numerical Methods	Czech	Z,ZK	4	2+1				The course is not on the list
MIE-NON.16	Nonlinear Continuous Optimization and Numerical Methods Jaroslav Kruis		Z,ZK	5	2+1				The course is on the list
MIE-NON	Nonlinear Continuous Optimization and Numerical Methods		Z,ZK	4	2+1				The course is not on the list
BIK-OOP	Object-Oriented Programming Jan Blizničenko, Filip Křikava, Robert Pergl	Czech	Z,ZK	4	14+4				The course is on the list
BI-OOP	Object-Oriented Programming Jan Blizničenko, Stéphane Ducasse, Filip Křikava, Veronika Larionova, Robert Pergl		Z,ZK	4	2+2				The course is on the list
BIE-OOP	Object-Oriented Programming Jan Blizničenko, Stéphane Ducasse, Filip Křikava, Robert Pergl		Z,ZK	4	2+2				The course is on the list
MIE-SYP.16	Parsing and Compilers Jan Janoušek, Bořivoj Melichar		Z,ZK	5	2+1				The course is on the list
MIE-SYP	Parsing and Compilers		Z,ZK	4	2+1				The course is not on the list
MI-SYP.16	Parsing and Compilers Jan Janoušek, Bořivoj Melichar	Czech	Z,ZK	5	2+1				The course is on the list
MI-SYP	Parsing and Compilers	Czech	Z,ZK	4	2+1				The course is not on the list
MIE-ROZ.16	Pattern Recognition		Z,ZK	5	2+1				The course is not on the list
MIE-ROZ	Pattern Recognition Michal Haindl		Z,ZK	4	2+1				The course is on the list
MI-ROZ	Pattern Recognition	Czech	Z,ZK	4	2+1				The course is not on the list
MI-ROZ.16	Pattern Recognition Michal Haindl, Radek Richtr	Czech	Z,ZK	5	2+1				The course is on the list
BIE-PJP	Programming Languages and Compilers Jan Janoušek, Radomír Polách, Jan Trávníček					Z,ZK	5	2+1	The course is on the list
BI-PJP	Programming Languages and Compilers Jan Janoušek, Radomír Polách, Jan Trávníček	Czech				Z,ZK	5	2+1	The course is on the list
BIK-PJP	Programming Languages and Compilers	Czech				Z,ZK	5	13+2	The course is not on the list
BIE-PPA	Programming Paradigms Jan Janoušek, Petr Máj, Tomáš Pecka, Radomír Polách	Czech	Z,ZK	5	2+2				The course is on the list
BIK-PPA	Programming Paradigms Jan Janoušek	Czech	Z,ZK	5	14+4				The course is on the list
BI-PPA	Programming Paradigms Michal Cvach, Jan Janoušek, Petr Máj, Tomáš Pecka, Radomír Polách	Czech	Z,ZK	5	2+2				The course is on the list
BI-ACM	Programming Practices 1 Ondřej Suchý, Tomáš Valla					KZ	5	0+4	The course is not on the list
BI-ACM2	Programming Practices 2 Ondřej Suchý, Tomáš Valla		KZ	5	0+4				The course is on the list
BI-ACM3	Programming Practices 3 Ondřej Suchý, Tomáš Valla	Czech				KZ	5	0+4	The course is on the list
BI-ACM4	Programming Practices 4 Ondřej Suchý, Tomáš Valla		KZ	5	0+4				The course is on the list
BIE-PA1	Programming and Algorithmics 1 Miroslav Balík, Tomáš Dejmek, Tomáš Pecka, Jan Trávníček, Ladislav Vagner, Josef Vogel		Z,ZK	6	2+2+2				The course is on the list
BI-PA1	Programming and Algorithmics 1 Miroslav Balík, David Bernhauer, Michal Cvach, Ondřej Cvacho, Marianna Gedrová, Peter Guľa, Otto Hollmann, Klára Hájková, Martin Jelínek, Roman Jelínek, Jan Ječmen, Jaroslav Kříž, Tomáš Pecka, Radek Richtr, Klára Schovánková, Miroslav Sochor, Roman Svoboda, Jan Trávníček, Ladislav Vagner, Josef Vogel, David Šenkýř, Ivan Šimeček	Czech	Z,ZK	6	2+2+2				The course is on the list
BIK-PA1	Programming and Algorithmics 1 Miroslav Balík, Ondřej Cvacho, Ladislav Vagner, Josef Vogel	Czech	Z,ZK	6	20+6				The course is on the list
BIE-PA2	Programming and Algorithmics 2 David Bernhauer, Tomáš Dejmek, Roman Jelínek, Tomáš Licek, Jan Trávníček, Ladislav Vagner, Josef Vogel					Z,ZK	7	2+2	The course is on the list
BI-PA2	Programming and Algorithmics 2 David Bernhauer, Václav Blažej, Jiří Chludil, Ondřej Cvacho, Tomáš Dejmek, Ondřej Fiedler, Lukáš Hrbek, Jiří Hunka, Klára Hájková, Roman Jelínek, Jiří Kukačka, Jakub Kulík, Tomáš Licek, Josef Malík, Tomáš Nováček, Petr Pauš, Tomáš Pecka, Štěpán Plachý, Radek Richtr, Klára Schovánková, Roman Svoboda, Kryštof Tulinger, Ladislav Vagner, Josef Vogel, Tung Anh Vu, David Šenkýř, Jan Žaloudek	Czech				Z,ZK	7	2+3	The course is on the list
BIK-PA2	Programming and Algorithmics 2 Ondřej Cvacho, Ladislav Vagner, Josef Vogel	Czech				Z,ZK	7	13+4	The course is on the list
BI-PMA	Programming in Mathematica Zdeněk Buk	Czech	Z,ZK	4	2+2				The course is on the list
MIE-RUN.16	Runtime Systems Claus Gittinger, Jakub Podlešák		Z,ZK	5	2+1				The course is on the list
MIE-RUN	Runtime Systems		Z,ZK	4	2+1				The course is not on the list
MI-RUN	Runtime Systems	Czech	Z,ZK	4	2+1				The course is not on the list
MI-RUN.16	Runtime Systems Jakub Podlešák	Czech	Z,ZK	5	2+1				The course is on the list
PI-STR	Stringology Jan Holub					ZK	4	0+3	The course is on the list
MIE-TES	Systems Theory		Z,ZK	5	2+0				The course is not on the list
MIE-TES.1	Systems Theory		Z,ZK	3	2+0				The course is not on the list
MI-TES	Systems Theory	Czech	Z,ZK	5	2+0				The course is not on the list
BI-TEX	TeX and Typography Petr Olšák	Czech				Z,ZK	4	2+1	The course is on the list
BI-TS1	Theoretical Seminar I Ondřej Suchý, Tomáš Valla	Czech	Z	4	0+2				The course is not on the list
BI-TS2	Theoretical Seminar II Ondřej Suchý, Tomáš Valla	Czech				Z	4	0+2	The course is not on the list
BI-TS3	Theoretical Seminar III Ondřej Suchý, Tomáš Valla	Czech	Z	4	0+2				The course is on the list
BI-TS4	Theoretical Seminar IV Ondřej Suchý, Tomáš Valla	Czech				Z	4	0+2	The course is on the list
MI-TS1	Theoretical Seminar Master I Ondřej Suchý, Tomáš Valla	Czech	Z	4	0+2				The course is not on the list
MI-TS2	Theoretical Seminar Master II Ondřej Suchý, Tomáš Valla	Czech				Z	4	0+2	The course is not on the list
MI-TS3	Theoretical Seminar Master III Ondřej Suchý, Tomáš Valla	Czech	Z	4	0+2				The course is on the list
MI-TS4	Theoretical Seminar Master IV Ondřej Suchý, Tomáš Valla	Czech				Z	4	0+2	The course is on the list
PI-TPL	Type Systems for Programming Languages Jan Vítek					ZK	4	0+3	The course is on the list