katedra teoretické informatiky

Zajišťované předměty

Kód	Název předmětu	Jazyk výuky	ZIMNÍ SEMESTR			LETNÍ SEMESTR			Vypsán v semestru
	Vyučující	Jazyk výuky	zakončení	kredity	rozsah	zakončení	kredity	rozsah	Vypsán v semestru
PI-APA	Advanced Program Analysis Jan Vitek^Ⓖ	anglicky	ZK	4	3C				B251
NIE-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	anglicky	Z,ZK	5	2P+1C				B251
BIE-AG1.21	Algorithms and Graphs 1 Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Ondřej Suchý, Tomáš Valla, Jan Volec	anglicky	Z,ZK	5	2P+2C				B251
BIE-AG2.21	Algorithms and Graphs 2 Radek Hušek, Dušan Knop, Michal Opler, Jiřina Scholtzová, Ondřej Suchý^Ⓖ, Tomáš Valla	anglicky				Z,ZK	5	2P+2C	B252
BIE-AX2	Algorithms and Graphs 2 No Implementation Radek Hušek, Dušan Knop, Michal Opler, Jiřina Scholtzová, Ondřej Suchý^Ⓖ, Tomáš Valla	anglicky							B252
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	anglicky	Z,ZK	5	2P+2C				B251
BIE-AX1	Algorithms and Graphs No Implementation	anglicky	Z,ZK	4	2P+2C				Předmět není vypsán
NI-ATH	Algoritmická teorie her Tomáš Valla^Ⓖ	česky				Z,ZK	4	2P+2C	B252
UNIK-ADS	Algoritmy a datové struktury	česky				Z,ZK	7	20B	Předmět není vypsán
UNI-ADS	Algoritmy a datové struktury Jiřina Scholtzová, Tomáš Valla^Ⓖ	česky				Z,ZK	7	2P+2C	B252
BI-AX1	Algoritmy a grafy 1 Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Jiřina Scholtzová, Ondřej Suchý, Tomáš Valla, Jan Volec	česky	Z,ZK	5	2P+2C				B251
BI-AG1.21	Algoritmy a grafy 1 Patrik Drbal, Michal Dvořák, Albert Havliček, Emma Hovorková, Radek Hušek, Dušan Knop^Ⓖ, Eliška Krátká, Matěj Kříž, Michal Opler, Matěj Ptáček, Josef Erik Sedláček, Ondřej Suchý, Tomáš Valla, Jan Volec, Ondřej Šofr, Jakub Švec	česky	Z,ZK	5	2P+2C				B251
BIK-AG1.21	Algoritmy a grafy 1 Radek Hušek, Dušan Knop^Ⓖ	česky	Z,ZK	5	14KP+4KC				B251
BI-AG2.21	Algoritmy a grafy 2 Michal Dvořák, Radek Hušek, Dušan Knop, Michal Opler, Jiřina Scholtzová, Ondřej Suchý^Ⓖ, Tomáš Valla	česky				Z,ZK	5	2P+2C	B252
PI-AKD	Algoritmy komprese dat Jan Holub^Ⓖ					ZK	4	3C	B252
BI-AVI.21	Algoritmy vizuálně Luděk Kučera^Ⓖ	česky				Z,ZK	4	2P+1C	B252
PI-AVG	Algoritmy výpočetní genomiky Jan Holub^Ⓖ					ZK	4	2P+1C	B252
PI-ARB	Arbologie Jan Janoušek^Ⓖ, Bořivoj Melichar^Ⓖ		ZK	4	3C	ZK	4	3C	B252, B251
PI-ASP	Architektura symbolických počítačů Josef Kolář^Ⓖ		ZK	4	3C	ZK	4	3C	B252, B251
BIE-AAG.21	Automata and Grammars David Beowulf Bradley-Williams, Foivos Fioravantes, Jan Holub^Ⓖ	anglicky	Z,ZK	5	2P+2C				B251
BIK-AAG.21	Automaty a gramatiky Jan Holub^Ⓖ, Jan Janoušek	česky	Z,ZK	5	14KP+4KC				B251
BI-AAG.21	Automaty a gramatiky Dominika Bohuslavová, Suzan Catay, Filip Dilmaghani, Albert Havliček, Jan Holub^Ⓖ, Jan Janoušek, Tomáš Pecka, Martin Přibyl, Šimon Rataj, Martin Svoboda, Filip Čihák, Ondřej Štorc	česky	Z,ZK	5	2P+2C				B251
NIE-GEN	Code Generators Jan Janoušek^Ⓖ, Petr Máj	anglicky	Z,ZK	5	2P+1C				B251
BIE-CCN	Compiler Construction Christoph Kirsch^Ⓖ	anglicky				Z,ZK	5	2P+1C	B252
NIE-CPX	Complexity Theory Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý^Ⓖ	anglicky	Z,ZK	5	3P+1C				B251
NIE-KOD	Data Compression Jan Holub^Ⓖ	anglicky				Z,ZK	5	2P+1C	B252
BI-DAS	Datové struktury Radek Hušek, Michal Opler^Ⓖ	česky				Z,ZK	5	2P+1C	B252
UNI-DI1	Didaktika informatiky I Zdeněk Muzikář^Ⓖ, Jiřina Scholtzová	česky				Z,ZK	6	2P+2C	B252
UNIK-DI1	Didaktika informatiky I	česky				Z,ZK	6	16B	Předmět není vypsán
UNI-DI2	Didaktika informatiky II	česky				KZ	7	1P+2C	Předmět není vypsán
UNIK-DI2	Didaktika informatiky II	česky				KZ	7	18B	Předmět není vypsán
NI-PAM	Efektivni předzpracování a parametrizované algoritmy Ondřej Suchý^Ⓖ	česky				Z,ZK	4	2P+1C	B252
BI-EP1	Efektivní programování 1	česky	Z	4	2P+2C				Předmět není vypsán
BI-EP1.24	Efektivní programování 1 Martin Kačer^Ⓖ	česky	KZ	4	2P+2C				B251
BI-EP2	Efektivní programování 2 Martin Kačer^Ⓖ	česky				KZ	4	2P+2C	B252
NI-EVY	Efektivní vyhledávání v textech Jan Holub^Ⓖ	anglicky	Z,ZK	5	2P+1C				B251
NIE-EVY	Efficient Text Pattern Matching Jan Holub^Ⓖ	anglicky	Z,ZK	5	2P+1C				B251
AKCE	Fiktivní předmět - Akce mimo rozvrhovanou výuku Jan Holub, Dušan Knop, Radek Richtr, Ondřej Suchý		NIC	0	0+0	NIC	0	0+0	B252, B251
MI-FLP.16	Funkcionální a logické programování	česky				Z,ZK	5	2P+1C	Předmět není vypsán
NI-GEN	Generování kódu Jan Janoušek^Ⓖ, Petr Máj	česky	Z,ZK	5	2P+1C				B251
NI-GAK	Grafy a kombinatorika Michal Dvořák, Michal Opler, Tomáš Valla^Ⓖ	česky				Z,ZK	5	2P+2C	B252
NIE-GAK	Graph theory and combinatorics Michal Dvořák, Michal Opler, Tomáš Valla^Ⓖ	anglicky				Z,ZK	5	2P+2C	B252
BI-ICS.18	Introduction to Computer Science	anglicky	Z	3		Z	3		Předmět není vypsán
BI-CSI	Introduction to Computer Science Christoph Kirsch^Ⓖ	anglicky							Předmět není vypsán
BIE-CSI	Introduction to Computer Science Christoph Kirsch^Ⓖ	anglicky	Z	2	2C				B251
BI-ICS	Introduction to Computer Science	anglicky				Z	2		Předmět není vypsán
NIE-DVG	Introduction to Discrete and Computational Geometry Maria Saumell Mendiola^Ⓖ	anglicky				Z,ZK	5	2P+1C	B252
NI-KTH	Kombinatorická teorie her Jan Pokorný, Tomáš Valla^Ⓖ	česky				Z,ZK	4	2P+1C	Předmět není vypsán
NI-KOD	Komprese dat Jan Holub^Ⓖ	anglicky				Z,ZK	5	2P+1C	B252
NI-FMT	Konečná teorie modelů	česky				Z,ZK	4	2P+1C	Předmět není vypsán
NIE-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ, Jan Pokorný	anglicky	Z,ZK	5	2P+0S+1C				B251
QNI-LOM	Lineární optimalizace a metody Dušan Knop^Ⓖ, Jan Pokorný	česky	Z,ZK	5	2P+1C				B251
NI-LOM	Lineární optimalizace a metody Dušan Knop^Ⓖ, Jan Pokorný	česky	Z,ZK	5	2P+1C				B251
QNIE-LOM	Lineární optimalizace a metody Dušan Knop^Ⓖ	česky	Z,ZK	5	2P+1C				Předmět není vypsán
NI-MPJ	Modelování programovacích jazyků	anglicky	Z,ZK	5	2P+1C				Předmět není vypsán
NI-NON	Nelineární optimalizace a numerické metody	česky	Z,ZK	5	2P+1C	Z,ZK	5	2P+1C	Předmět není vypsán
NIE-NON	Nonlinear Continuous Optimization and Numerical Methods	anglicky	Z,ZK	5	2P+1C	Z,ZK	5	2P+1C	Předmět není vypsán
BIE-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Petr Máj, Filip Říha	anglicky	Z,ZK	5	2P+2C				B251
BIK-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Filip Říha	česky	Z,ZK	5	14KP+4KC				B251
BI-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Petr Máj, Filip Říha	česky	Z,ZK	5	2P+2C				B251
BI-ORL	Operační výzkum a lineární programování Dušan Knop^Ⓖ, Šimon Schierreich	česky				KZ	5	1P+2C	B252
NIE-PAM	Parameterized Algorithms Ondřej Suchý^Ⓖ	anglicky				Z,ZK	4	2P+1C	B252
NIE-SYP	Parsing and Compilers Jan Janoušek^Ⓖ	anglicky	Z,ZK	5	2P+1C				B251
NIE-ROZ	Pattern Recognition Michal Haindl^Ⓖ, Radek Richtr	anglicky	Z,ZK	5	2P+1C				B251
PI-ROZ	Pokročilé rozpoznávání Michal Haindl^Ⓖ					ZK	4	3C	B252
NI-APT	Pokročilé testování programů Pierre Donat-Bouillud^Ⓖ	anglicky	Z,ZK	5	2P+1C				B251
BIE-PJP.21	Programming Languages and Compilers Jan Janoušek^Ⓖ, Tomáš Pecka	anglicky				Z,ZK	5	2P+1C	B252
BIE-PPA	Programming Paradigms	anglicky	Z,ZK	5	2P+2C				Předmět není vypsán
BIE-PPA.21	Programming Paradigms Tomáš Jakl, Jan Janoušek^Ⓖ, Petr Máj, Jan Liam Verter, Petr Šťastný	anglicky	Z,ZK	5	2P+2R				B251
BIE-PA1.21	Programming and Algorithmics 1 Tomáš Dejmek, Radek Hušek, František Kovář, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel	anglicky	Z,ZK	7	2P+2R+2C				B251
BIE-PA2.21	Programming and Algorithmics 2 Tomáš Dejmek, Radek Hušek, František Kovář, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel	anglicky				Z,ZK	7	2P+1R+2C	B252
BI-PJP.21	Programovací jazyky a překladače Jan Janoušek^Ⓖ, Tomáš Pecka	česky				Z,ZK	5	2P+1C	B252
QNI-PJK	Programovací jazyky pro kvantové počítání Jan Janoušek^Ⓖ	česky				Z,ZK	5	2P+1C	B252
QNIE-PJK	Programovací jazyky pro kvantové počítání Jan Janoušek^Ⓖ	anglicky				Z,ZK	5	2P+1C	Předmět není vypsán
BIK-PPA.21	Programovací paradigmata Filip Gregor, Jan Janoušek^Ⓖ	česky	Z,ZK	5	14KP+4KC				B251
BI-PPA.21	Programovací paradigmata Filip Gregor, Tomáš Jakl, Jan Janoušek^Ⓖ, Petr Máj, Tomáš Pecka, Jan Liam Verter, Petr Šťastný	česky	Z,ZK	5	2P+2R				B251
BIK-PPA	Programovací paradigmata	česky	Z,ZK	5	14KP+4KC				Předmět není vypsán
FIT-ACM1	Programovací praktika 1 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ					KZ	5	4C	B251
BI-ACM2	Programovací praktika 2	česky	KZ	5	4C				Předmět není vypsán
FIT-ACM2	Programovací praktika 2 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ		KZ	5	4C				B252
BI-ACM3	Programovací praktika 3 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				KZ	5	4C	Předmět není vypsán
FIT-ACM3	Programovací praktika 3 Ondřej Suchý^Ⓖ					KZ	5	4C	Předmět není vypsán
BI-ACM4	Programovací praktika 4 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	KZ	5	4C				B251
FIT-ACM4	Programovací praktika 4 Ondřej Suchý^Ⓖ		KZ	5	4C				Předmět není vypsán
FIT-ACM5	Programovací praktika 5 Ondřej Suchý^Ⓖ					KZ	5	4C	Předmět není vypsán
FIT-ACM6	Programovací praktika 6 Ondřej Suchý^Ⓖ					KZ	5	4C	Předmět není vypsán
BIK-PA1.21	Programování a algoritmizace 1 Radek Hušek, Barbora Kolomazníková, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel, Ondřej Štorc	česky	Z,ZK	7	14KP+8KC				B251
BI-PA1.21	Programování a algoritmizace 1 Miroslav Balík, David Bernhauer, Tomáš Dejmek, Jarmila Fialová, Jakub Horák, Radek Hušek, Roman Jelínek, Jiří Kašpar, František Kovář, Jaroslav Kříž, Matěj Kříž, Jan Matoušek, Sebastian Prokop, Matyáš Rak, Jan Trávníček^Ⓖ, Oliver Tušla, Ladislav Vagner, Patrik Vodila, Josef Vogel, Filip Čihák, Ivan Šimeček, Ondřej Štorc, Jakub Švec, Petr Šťastný	česky	Z,ZK	7	2P+2R+2C				B251
BI-PA2.21	Programování a algoritmizace 2 Tomáš Dejmek, Jarmila Fialová, Jakub Horák, Radek Hušek, Roman Jelínek, Barbora Kolomazníková, František Kovář, Jaroslav Kříž, Petr Laštovička, Jan Matoušek, Petr Pauš, Tomáš Pecka, Matyáš Rak, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel, Michaela Weberová, Filip Čihák, Ondřej Štorc, Jan Šuráň, Petr Šťastný	česky				Z,ZK	7	2P+1R+2C	B252
BIK-PA2.21	Programování a algoritmizace 2 Radek Hušek, Barbora Kolomazníková, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel, Ondřej Štorc	česky				Z,ZK	7	14KP+6KC	B252
BI-PMA	Programování v Mathematica Zdeněk Buk^Ⓖ	česky	Z,ZK	4	2P+2C	Z,ZK	4	2P+2C	B251, B252
UNIK-PPP	Propedeutikum pedagogické praxe	česky				KZ	6	16B	Předmět není vypsán
UNI-PPP	Propedeutikum pedagogické praxe Kateřina Mrázková, Zdeněk Muzikář^Ⓖ, Jiřina Scholtzová	česky				KZ	6	2P+2C	B252
UNIK-RPP	Reflexe pedagogické praxe	česky	Z	3	8B				Předmět není vypsán
UNI-RPP	Reflexe pedagogické praxe	česky	Z	3	26XH				Předmět není vypsán
NI-ROZ	Rozpoznávaní Michal Haindl^Ⓖ, Radek Richtr	česky	Z,ZK	5	2P+1C				B251
MIE-RUN.16	Runtime Systems Filip Křikava^Ⓖ	anglicky	Z,ZK	5	2P+1C				Předmět není vypsán
NIE-RUN	Runtime systémy Filip Křikava^Ⓖ	anglicky				Z,ZK	5	2P+1C	B252
NI-RUN	Runtime systémy Filip Křikava^Ⓖ	anglicky				Z,ZK	5	2P+1C	B252
BIE-VAK.21	Selected Combinatorics Applications Dušan Knop, Michal Opler^Ⓖ, Jan Pokorný, Šimon Schierreich, Jiřina Scholtzová, Ondřej Suchý, Tomáš Valla	anglicky				Z	3	2R	B252
NI-PLS1	Seminář na téma programovacích jazyků Pierre Donat-Bouillud^Ⓖ, Filip Křikava	anglicky	Z	2	0P+1C				B251
NI-PLS4	Seminář na téma programovacích jazyků Pierre Donat-Bouillud^Ⓖ, Filip Křikava	anglicky				Z	2	0P+1C	Předmět není vypsán
NI-PLS3	Seminář na téma programovacích jazyků	anglicky	Z	2	0P+1C				Předmět není vypsán
NI-PLS2	Seminář na téma programovacích jazyků Pierre Donat-Bouillud^Ⓖ, Filip Křikava	anglicky				Z	2	0P+1C	B252
UNI-SPP	Souvislá pedagogická praxe	česky	KZ	15	450XH				Předmět není vypsán
UNIK-SPP	Souvislá pedagogická praxe	česky	KZ	15	450XH				Předmět není vypsán
PI-STR	Stringologie Jan Holub^Ⓖ					ZK	4	3C	B252
NI-MOB	Studentská mobilita	česky							Předmět není vypsán
NI-SLA	Sublineární algoritmy Michal Dvořák, Dušan Knop^Ⓖ	česky	Z,ZK	5	2P+1C				B251
NI-SYP	Syntaktická analýza a překladače Jan Janoušek^Ⓖ	anglicky	Z,ZK	5	2P+1C				B251
BIE-SEG	Systems Engineering Christoph Kirsch^Ⓖ	anglicky	Z	0	2C				B251
BI-SEG	Systems Engineering Christoph Kirsch^Ⓖ	anglicky	ZK	0	2C				Předmět není vypsán
BI-TS1	Teoretický seminář I Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	Z	4	2C				B251
BI-TS2	Teoretický seminář II Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				Z	4	2C	B252
BI-TS3	Teoretický seminář III Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	Z	4	2C				B251
BI-TS4	Teoretický seminář IV Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				Z	4	2C	Předmět není vypsán
NI-TS1	Teoretický seminář magisterský I Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	Z	4	2C				B251
NI-TS2	Teoretický seminář magisterský II Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				Z	4	2C	B252
NI-TS3	Teoretický seminář magisterský III	česky	Z	4	2C				Předmět není vypsán
NI-TS4	Teoretický seminář magisterský IV Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				Z	4	2C	Předmět není vypsán
PI-TGR	Teorie grafů Ondřej Suchý, Tomáš Valla					ZK	4	2P+1C	B252, B251
QNIE-CPX	Teorie složitosti Dušan Knop^Ⓖ	anglicky	Z,ZK	6	3P+1C				Předmět není vypsán
QNI-CPX	Teorie složitosti Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý	česky	Z,ZK	6	3P+1C				B251
NI-CPX	Teorie složitosti Michal Opler, Ondřej Suchý^Ⓖ	česky	Z,ZK	5	3P+1C				B251
BI-CCN	Tvorba překladačů Christoph Kirsch^Ⓖ	anglicky				Z,ZK	5	2P+1C	B252
PI-TPL	Type Systems for Programming Languages Jan Vitek^Ⓖ	anglicky				ZK	4	3C	B252, B251
BI-TEX	Typografie a TeX Petr Olšák^Ⓖ	česky				Z,ZK	4	2P+1C	B252
NI-VOL	Volby a volební systémy Dušan Knop^Ⓖ, Šimon Schierreich	česky				Z,ZK	5	2P+1C	B252
BI-VAK.21	Vybrané aplikace kombinatoriky Dušan Knop, Michal Opler^Ⓖ, Jan Pokorný, Šimon Schierreich, Jiřina Scholtzová, Ondřej Suchý, Tomáš Valla	česky				Z	3	2R	B252
NI-APR	Vybrané metody analýzy programů Filip Křikava^Ⓖ	česky	Z,ZK	5	2P+1C				B251
BIK-ZUM	Základy umělé inteligence	česky				Z,ZK	4	13+4	Předmět není vypsán
NI-DVG	Úvod do diskrétní a výpočetní geometrie Maria Saumell Mendiola^Ⓖ	anglicky				Z,ZK	5	2P+1C	B252