Department of Theoretical Computer Science

Zajišťované studijní plány

Computer Science (NI-TI) – navazující
- Master specialization Computer Science, in Czech, 2018-2019 (full-time)
- Master specialization Computer Science, in Czech, 2020 (full-time)
System Programming (MI-SP) – navazující
- Master branch System Programming, spec. System Programming, in Czech, 2016-2019 (full-time)
- Master branch System Programming, spec. Computer Science, in Czech, 2016-2017 (full-time)
System Programming (NI-SP) – navazující
- Master specialization System Programming, in Czech, 2020 (full-time)
Computer Science (BI-TI) – bachelor
- Bachelor branch Computer Science, in Czech, 2015-2020 (full-time)
Computer Science 2021 (NIE-TI) – master
- Master specialization Computer Science, in English, 2021 (full-time)
Computer Science (Bachelor, in English) (BIE-TI) – master
- Bachelor branch Computer Science, in English, 2015-2020 (full-time)
Computer Science 2021 (BIE-TI21) – master
- Bachelor specialization, Computer Science, 2021 (full-time)
Computer Science 2021 (in Czech) (BI-TI21) – bachelor
- Bachelor specialization Computer Science, in Czech, 2021 (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	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 Vítek	English	ZK	4	3C				The course is on the list
NI-ATH	AlgorithmicTheories of Games					Z,ZK	4	2P+2C	The course is not on the list
BIE-AG1	Algorithms and Graphs 1 Pratibha Choudhary, Dušan Knop, Maria Saumell Mendiola, Jiřina Scholtzová	English	Z,ZK	6	2P+2C				The course is on the list
BIE-AG1.21	Algorithms and Graphs 1 Dušan Knop	English	Z,ZK	5	2P+2C				The course is not on the list
BIK-AG1	Algorithms and Graphs 1 Jiří Chludil, Dušan Knop	Czech	Z,ZK	6	14KP+4KC				The course is on the list
BI-AG1.21	Algorithms and Graphs 1 Radek Hušek, Dušan Knop, Jan Matyáš Křišťan, Josef Malík, Jakub Pečenka, Štěpán Plachý, Šimon Schierreich, Jiřina Scholtzová, Josef Erik Sedláček, Ondřej Suchý, Pavel Tvrdík, Tung Anh Vu, Radovan Červený, Eliška Šestáková, Ondřej Šofr	Czech	Z,ZK	5	2P+2C				The course is not on the list
BIK-AG1.21	Algorithms and Graphs 1 Jiří Chludil, Dušan Knop	Czech	Z,ZK	5	14KP+4KC				The course is not on the list
BI-AG1	Algorithms and Graphs 1 Michal Dvořák, Radek Hušek, Dušan Knop, Jan Matyáš Křišťan, Xuan Thang Nguyen, Jan Pokorný, Šimon Schierreich, Martin Slávik, Tomáš Valla, Ondřej Šofr	Czech	Z,ZK	6	2P+2C				The course is 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 Ondřej Suchý	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
BI-AVI.21	Algorithms visually Luděk Kučera	Czech							The course is 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 Jan Holub, Jan Janoušek, Štěpán Plachý, Martin Svoboda	English	Z,ZK	6	2P+2C				The course is on the list
BIE-AAG.21	Automata and Grammars	English	Z,ZK	5	2P+2C				The course is not on the list
BI-AAG	Automata and Grammars Dominika Draesslerová, Filip Gregor, Jan Holub, Jan Janoušek, Tomáš Pecka, Štěpán Plachý, Radomír Polách, Lucie Procházková, Šimon Schierreich, Martin Svoboda, Eliška Šestáková	Czech	Z,ZK	6	2P+2C				The course is on the list
BIK-AAG.21	Automata and Grammars	Czech	Z,ZK	5	14KP+4KC				The course is not on the list
BI-AAG.21	Automata and Grammars Jan Holub, Jan Janoušek	Czech	Z,ZK	5	2P+2C				The course is not on the list
BIK-AAG	Automata and Grammars Ondřej Guth, Eliška Šestáková	Czech	Z,ZK	6	13KP+4KC				The course is 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	Czech				Z,ZK	5	2P+1C	The course is not 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
MIE-CPX	Complexity Theory	English	Z,ZK	5	3P+1C				The course is not on the list
NI-CPX	Complexity Theory Dušan Knop, 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 Jan Holub	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	Czech				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 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					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, Radomír Polách	Czech	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 not on the list
MIE-EVY.16	Efficient Text Pattern Matching Jan Holub, Radomír Polách	English	Z,ZK	5	2P+1C				The course is on the list
BI-EIA	Efficient implementation of algorithms	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, Jan Janoušek, Hana Kubátová, Antonella Marchesiello, Jiří Smítka, Jan Spěvák, Ondřej Suchý, Jaroslav Zhouf		NIC	0	0+0	NIC	0	0+0	The course is 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	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ý		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 Tomáš Valla	English				Z,ZK	5	2P+2C	The course is not on the list
BI-ICS.18	Introduction to Computer Science Josef Kolář, Jiřina Scholtzová	English	Z	3		Z	3		The course is on the list
BI-ICS	Introduction to Computer Science Josef Kolář	English				Z	2		The course is on the list
NI-LOM	Linear Optimization and Methods Miroslav Rada, Michal Černý	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 Ryan Michael Culpepper, Jan Vítek	English	Z,ZK	5	2P+1C				The course is on the list
NI-NON	Nonlinear Continuous Optimization and Numerical Methods Jaroslav Kruis	Czech	Z,ZK	5	2P+1C				The course is on the list
NIE-NON	Nonlinear Continuous Optimization and Numerical Methods Jaroslav Kruis	Czech	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
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	English	Z,ZK	5	2P+2C				The course is not on the list
BIK-OOP.21	Object-Oriented Programming	Czech	Z,ZK	5	14KP+4KC				The course is not on the list
BI-OOP.21	Object-Oriented Programming	Czech	Z,ZK	5	2P+2C				The course is not on the list
BIE-OOP	Object-Oriented Programming Filip Křikava, Peter Matta	English	Z,ZK	4	2P+2C				The course is on the list
BI-OOP	Object-Oriented Programming Martin Drozdík, Filip Křikava, Peter Matta	English	Z,ZK	4	2P+2C				The course is on the list
BIK-OOP	Object-Oriented Programming Filip Křikava	Czech	Z,ZK	4	14KP+4KC				The course is on the list
NIE-OSY	Operating Systems and Systems Programming	Czech	Z,ZK	5	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 Jan Janoušek, Štěpán Plachý	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ý	Czech	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
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
NIE-ROZ	Pattern Recognition Michal Haindl, Radek Richtr	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				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 Radomír Polách	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 Jan Janoušek, Petr Máj, Jan Sliacký	English	Z,ZK	5	2P+2C				The course is on the list
BIK-PPA.21	Programming Paradigms	Czech	Z,ZK	5	14KP+4KC				The course is not on the list
BIE-PPA.21	Programming Paradigms	English	Z,ZK	5	2P+2C				The course is not on the list
BI-PPA.21	Programming Paradigms	Czech	Z,ZK	5	2P+2C				The course is not on the list
BI-PPA	Programming Paradigms Jan Janoušek, Petr Máj, Tomáš Pecka, Jan Sliacký	Czech	Z,ZK	5	2P+2C				The course is on the list
BIK-PPA	Programming Paradigms Jan Janoušek	Czech	Z,ZK	5	14KP+4KC				The course is on the list
BI-ACM	Programming Practices 1					KZ	5	4C	The course is not on the list
BI-ACM2	Programming Practices 2 Václav Blažej, Jan Matyáš Křišťan, Ondřej Suchý, Tomáš Valla		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 Jan Matyáš Křišťan, Ondřej Suchý, Tomáš Valla		KZ	5	4C				The course is on the list
BIE-PA1	Programming and Algorithmics 1 Miroslav Balík, David Bernhauer, Tomáš Dejmek, Peter Guľa, Roman Jelínek, Jiří Kašpar, Radek Tomšů, Jan Trávníček, Ladislav Vagner, Josef Vogel, Ivan Šimeček	English	Z,ZK	6	2P+2R+2C				The course is not on the list
BIE-PA1.21	Programming and Algorithmics 1 Tomáš Dejmek, Peter Guľa, Jan Trávníček, Petr Šťastný	English	Z,ZK	7	2P+2R+2C				The course is on the list
BI-PA1	Programming and Algorithmics 1 Miroslav Balík, David Bernhauer, Jiří Borský, Peter Guľa, Tomáš Heger, Roman Jelínek, Adam Jirovský, Jiří Kašpar, František Kovář, Jaroslav Kříž, Jan Matoušek, Jana Maříková, Šimon Schierreich, Jan Trávníček, Ladislav Vagner, Josef Vogel, Jan Zimolka, Ivan Šimeček, Ondřej Štorc	Czech	Z,ZK	6	2P+2R+2C				The course is not on the list
BIK-PA1.21	Programming and Algorithmics 1 David Bernhauer, Jaroslav Kříž, Jan Trávníček	Czech	Z,ZK	7	14KP+8KC				The course is on the list
BI-PA1.21	Programming and Algorithmics 1 Miroslav Balík, David Bernhauer, Jiří Borský, Peter Guľa, Matěj Havránek, Tomáš Heger, Radek Hušek, Roman Jelínek, Jiří Kašpar, Jaroslav Kříž, Jan Matoušek, Matúš Olekšák, Jan Provazník, Šimon Schierreich, Jan Trávníček, Ladislav Vagner, Josef Vogel, Ondřej Wrzecionko, Jan Zimolka, Ivan Šimeček, Ondřej Štorc, Petr Šťastný	Czech	Z,ZK	7	2P+2R+2C				The course is on the list
BIK-PA1	Programming and Algorithmics 1 Miroslav Balík, David Bernhauer, Roman Jelínek, Jiří Kašpar, Jan Trávníček, Ladislav Vagner, Josef Vogel, Ivan Šimeček	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 Jan Trávníček	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 Jan Trávníček	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				The course is 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
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
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 Ondřej Suchý, Tomáš Valla	Czech	Z	4	2C				The course is on the list
BI-TS2	Theoretical Seminar II	Czech				Z	4	2C	The course is not on the list
BI-TS3	Theoretical Seminar III 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
MI-TS1	Theoretical Seminar Master I		Z	4	2C				The course is not on the list
NI-TS1	Theoretical Seminar Master I Ondřej Suchý, Tomáš Valla		Z	4	2C				The course is on the list
MI-TS2	Theoretical Seminar Master II					Z	4	2C	The course is not on the list
NI-TS2	Theoretical Seminar Master II					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 Ondřej Suchý, Tomáš Valla		Z	4	2C				The course is not 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					Z	4	2C	The course is not on the list
PI-TPL	Type Systems for Programming Languages Jan Vítek	English				ZK	4	3C	The course is on the list