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				B241
NIE-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	anglicky	Z,ZK	5	2P+1C				B241
BIE-AG1.21	Algorithms and Graphs 1 Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	anglicky	Z,ZK	5	2P+2C				B241
BIE-AG2.21	Algorithms and Graphs 2 Radek Hušek, Dušan Knop, Michal Opler, Jiřina Scholtzová, Ondřej Suchý^Ⓖ	anglicky				Z,ZK	5	2P+2C	B242
BIE-AX2	Algorithms and Graphs 2 No Implementation Radek Hušek, Jiřina Scholtzová, Ondřej Suchý^Ⓖ	anglicky							B242
BIE-AX1.24	Algorithms and Graphs No Implementation Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	anglicky	Z,ZK	5	2P+2C				B241
BIE-AX1	Algorithms and Graphs No Implementation Radek Hušek, Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	anglicky	Z,ZK	4	2P+2C				B241
NI-ATH	Algoritmická teorie her Dušan Knop, Jan Pokorný, Tomáš Valla^Ⓖ	česky				Z,ZK	4	2P+2C	Předmět není vypsán
UNIK-ADS	Algoritmy a datové struktury	česky				Z,ZK	7	20B	Předmět není vypsán
UNI-ADS	Algoritmy a datové struktury	česky				Z,ZK	7	2P+2C	Předmět není vypsán
BI-AG1.21	Algoritmy a grafy 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ý	česky	Z,ZK	5	2P+2C				B241
BIK-AG1.21	Algoritmy a grafy 1 Radek Hušek, Dušan Knop^Ⓖ	česky	Z,ZK	5	14KP+4KC				B241
BI-AG2.21	Algoritmy a grafy 2 Michal Dvořák, Radek Hušek, Dušan Knop, Michal Opler, Šimon Schierreich, Jiřina Scholtzová, Ondřej Suchý^Ⓖ, Tomáš Valla	česky				Z,ZK	5	2P+2C	B242
PI-AKD	Algoritmy komprese dat Jan Holub^Ⓖ					ZK	4	3C	B242
BI-AVI.21	Algoritmy vizuálně Luděk Kučera^Ⓖ	česky				Z,ZK	4	2P+1C	B242
PI-AVG	Algoritmy výpočetní genomiky Jan Holub^Ⓖ					ZK	4	2P+1C	B242
PI-ARB	Arbologie Jan Janoušek^Ⓖ, Bořivoj Melichar^Ⓖ		ZK	4	3C	ZK	4	3C	B241, B242
PI-ASP	Architektura symbolických počítačů Josef Kolář^Ⓖ		ZK	4	3C	ZK	4	3C	B241, B242
BIE-AAG.21	Automata and Grammars Jan Holub^Ⓖ, Tomáš Pecka, Štěpán Plachý, Ondřej Štorc	anglicky	Z,ZK	5	2P+2C				B241
BIK-AAG.21	Automaty a gramatiky Jan Holub^Ⓖ, Tomáš Pecka, Štěpán Plachý, Ondřej Štorc	česky	Z,ZK	5	14KP+4KC				B241
BI-AAG.21	Automaty a gramatiky Dominika Bohuslavová, Suzan Catay, Jan Holub^Ⓖ, Jan Janoušek, Jiří Lejsek, Tomáš Pecka, Štěpán Plachý, Jiří Skotal, Martin Svoboda, Tomáš Vesecký, Patrik Vodila, Ondřej Štorc	česky	Z,ZK	5	2P+2C				B241
BIE-CCN	Compiler Construction Christoph Kirsch^Ⓖ	anglicky				Z,ZK	5	2P+1C	B242
NIE-CPX	Complexity Theory Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý	anglicky	Z,ZK	5	3P+1C				B241
NIE-KOD	Data Compression Jan Holub^Ⓖ	anglicky				Z,ZK	5	2P+1C	B242
UNI-DI1	Didaktika informatiky I	česky				Z,ZK	6	2P+2C	Předmět není vypsán
UNIK-DI1	Didaktika informatiky I Michal Valenta^Ⓖ	č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 Michal Valenta^Ⓖ	česky				KZ	7	18B	Předmět není vypsán
UNIK-DIP	Diplomová práce Michal Valenta^Ⓖ					Z	9	270ZP	Předmět není vypsán
UNI-DIP	Diplomová práce					Z	9	270ZP	Předmět není vypsán
NI-PAM	Efektivni předzpracování a parametrizované algoritmy Ondřej Suchý^Ⓖ	česky				Z,ZK	4	2P+1C	B242
BI-EP1	Efektivní programování 1 Martin Kačer^Ⓖ	č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				B241
BI-EP2	Efektivní programování 2 Martin Kačer^Ⓖ	česky				KZ	4	2P+2C	B242
NI-EVY	Efektivní vyhledávání v textech Jan Holub^Ⓖ	anglicky	Z,ZK	5	2P+1C				B241
NIE-EVY	Efficient Text Pattern Matching Jan Holub^Ⓖ	anglicky	Z,ZK	5	2P+1C				B241
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ý, Radek Richtr, 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	B241, B242
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				B241
MI-GAK	Grafy a kombinatorika	česky				Z,ZK	5	2P+2C	Předmět není vypsán
NI-GAK	Grafy a kombinatorika Michal Dvořák, Michal Opler, Tomáš Valla^Ⓖ	česky				Z,ZK	5	2P+2C	B242
NIE-GAK	Graph theory and combinatorics Michal Dvořák, Michal Opler, Tomáš Valla^Ⓖ	anglicky				Z,ZK	5	2P+2C	B242
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							B241
BIE-CSI	Introduction to Computer Science Christoph Kirsch^Ⓖ	anglicky	Z	2	2C				B241
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	B242
NI-KTH	Kombinatorická teorie her Jan Pokorný, Tomáš Valla^Ⓖ	česky				Z,ZK	4	2P+1C	B242
NI-KOD	Komprese dat Jan Holub^Ⓖ	anglicky				Z,ZK	5	2P+1C	B242
NI-FMT	Konečná teorie modelů Tomáš Jakl^Ⓖ	česky				Z,ZK	4	2P+1C	Předmět není vypsán
NIE-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ	anglicky	Z,ZK	5	2P+0S+1C				B241
QNI-LOM	Lineární optimalizace a metody	česky	Z,ZK	5	2P+1C				Předmět není vypsán
NI-LOM	Lineární optimalizace a metody Dušan Knop^Ⓖ	česky	Z,ZK	5	2P+1C				B241
QNIE-LOM	Lineární optimalizace a metody	č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 Jaroslav Kruis^Ⓖ	č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 Jaroslav Kruis^Ⓖ	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				B241
BIK-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Filip Říha	česky	Z,ZK	5	14KP+4KC				B241
BI-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Petr Máj, Filip Říha	česky	Z,ZK	5	2P+2C				B241
BI-ORL	Operační výzkum a lineární programování Dušan Knop^Ⓖ, Šimon Schierreich	česky				KZ	5	1P+2C	B242
NIE-PAM	Parameterized Algorithms Ondřej Suchý^Ⓖ	anglicky				Z,ZK	4	2P+1C	B242
NIE-SYP	Parsing and Compilers Jan Janoušek^Ⓖ, Štěpán Plachý	anglicky	Z,ZK	5	2P+1C				B241
NIE-ROZ	Pattern Recognition Michal Haindl^Ⓖ, Radek Richtr	anglicky	Z,ZK	5	2P+1C				B241
PI-ROZ	Pokročilé rozpoznávání Michal Haindl^Ⓖ					ZK	4	3C	B242
NI-APT	Pokročilé testování programů Pierre Donat-Bouillud^Ⓖ	anglicky	Z,ZK	5	2P+1C				B241
BIE-PJP.21	Programming Languages and Compilers Jan Janoušek^Ⓖ, Tomáš Pecka	anglicky				Z,ZK	5	2P+1C	B242
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, Tomáš Pecka	anglicky	Z,ZK	5	2P+2R				B241
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	anglicky	Z,ZK	7	2P+2R+2C				B241
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	B242
BI-PJP.21	Programovací jazyky a překladače Jan Janoušek^Ⓖ, Tomáš Pecka	česky				Z,ZK	5	2P+1C	B242
QNI-PJK	Programovací jazyky pro kvantové počítání	česky							Předmět není vypsán
BIK-PPA.21	Programovací paradigmata Filip Gregor, Jan Janoušek^Ⓖ, Tomáš Pecka	česky	Z,ZK	5	14KP+4KC				B241
BI-PPA.21	Programovací paradigmata Filip Gregor, Tomáš Jakl, Jan Janoušek^Ⓖ, Petr Máj, Tomáš Pecka, Jan Liam Verter	česky	Z,ZK	5	2P+2R				B241
BIK-PPA	Programovací paradigmata	česky	Z,ZK	5	14KP+4KC				Předmět není vypsán
BI-ACM	Programovací praktika 1 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				KZ	5	4C	B242
BI-ACM2	Programovací praktika 2 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	KZ	5	4C				B241
BI-ACM3	Programovací praktika 3 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				KZ	5	4C	B242
BI-ACM4	Programovací praktika 4 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	KZ	5	4C				B241
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				B241
BI-PA1.21	Programování a algoritmizace 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	česky	Z,ZK	7	2P+2R+2C				B241
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	B242
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	B242
BI-PMA	Programování v Mathematica Zdeněk Buk^Ⓖ	česky	Z,ZK	4	2P+2C	Z,ZK	4	2P+2C	Předmět není vypsán
UNIK-PPP	Propedeutikum pedagogické praxe Michal Valenta^Ⓖ	česky				KZ	6	16B	Předmět není vypsán
UNI-PPP	Propedeutikum pedagogické praxe	česky				KZ	6	2P+2C	Předmět není vypsán
UNI-RPP	Reflexe pedagogické praxe	česky	Z	3	26XH				Předmět není vypsán
UNIK-RPP	Reflexe pedagogické praxe Michal Valenta^Ⓖ	česky	Z	3	8B				Předmět není vypsán
NI-ROZ	Rozpoznávaní Michal Haindl^Ⓖ, Radek Richtr	česky	Z,ZK	5	2P+1C				B241
MIE-RUN.16	Runtime Systems Filip Křikava^Ⓖ	anglicky	Z,ZK	5	2P+1C				B242
NI-RUN	Runtime systémy Filip Křikava^Ⓖ	anglicky				Z,ZK	5	2P+1C	B242
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	B242
UNI-SPD	Semestrální projekt k diplomové práci	česky	Z	3	90ZP				Předmět není vypsán
UNIK-SPD	Semestrální projekt k diplomové práci Michal Valenta^Ⓖ	česky	Z	3	90ZP				Předmět není vypsán
NI-PLS1	Seminář na téma programovacích jazyků	anglicky	Z	2	0P+1C				Předmět není vypsán
NI-PLS4	Seminář na téma programovacích jazyků Pierre Donat-Bouillud^Ⓖ, Filip Křikava	anglicky				Z	2	0P+1C	B242
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ů	anglicky				Z	2	0P+1C	Předmět není vypsán
UNI-SPP	Souvislá pedagogická praxe	česky	KZ	15	450XH				Předmět není vypsán
UNIK-SPP	Souvislá pedagogická praxe Michal Valenta^Ⓖ	česky	KZ	15	450XH				Předmět není vypsán
PI-STR	Stringologie Jan Holub^Ⓖ					ZK	4	3C	B242
NI-MOB	Studentská mobilita	česky							Předmět není vypsán
NI-SLA	Sublineární algoritmy Dušan Knop^Ⓖ	česky	Z,ZK	5	2P+1C				B241
NI-SYP	Syntaktická analýza a překladače Jan Janoušek^Ⓖ, Štěpán Plachý	anglicky	Z,ZK	5	2P+1C				B241
BIE-SEG	Systems Engineering Christoph Kirsch^Ⓖ	anglicky	Z	0	2C				B241
BI-SEG	Systems Engineering Christoph Kirsch^Ⓖ	anglicky	ZK	0	2C				B241
BI-TS1	Teoretický seminář I Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	Z	4	2C				Předmět není vypsán
BI-TS2	Teoretický seminář II Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				Z	4	2C	B241, B242
BI-TS3	Teoretický seminář III Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	Z	4	2C				B241
BI-TS4	Teoretický seminář IV Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				Z	4	2C	B242
NI-TS1	Teoretický seminář magisterský I Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	Z	4	2C				Předmět není vypsán
NI-TS2	Teoretický seminář magisterský II Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				Z	4	2C	Předmět není vypsán
NI-TS3	Teoretický seminář magisterský III Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	Z	4	2C				B241
NI-TS4	Teoretický seminář magisterský IV Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				Z	4	2C	B242
PI-TGR	Teorie grafů Ondřej Suchý^Ⓖ, Tomáš Valla					ZK	4	2P+1C	B241, B242
QNIE-CPX	Teorie složitosti	anglicky	Z,ZK	6	3P+1C				Předmět není vypsán
QNI-CPX	Teorie složitosti	česky	Z,ZK	6	3P+1C				Předmět není vypsán
NI-CPX	Teorie složitosti Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ	česky	Z,ZK	5	3P+1C				B241
BI-CCN	Tvorba překladačů Christoph Kirsch^Ⓖ	anglicky				Z,ZK	5	2P+1C	B242
PI-TPL	Type Systems for Programming Languages Jan Vitek^Ⓖ	anglicky				ZK	4	3C	B241, B242
BI-TEX	Typografie a TeX Petr Olšák^Ⓖ	česky				Z,ZK	4	2P+1C	B242
NI-VOL	Volby a volební systémy Dušan Knop^Ⓖ, Šimon Schierreich	česky				Z,ZK	5	2P+1C	B242
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	B242
NI-APR	Vybrané metody analýzy programů Filip Křikava^Ⓖ	česky	Z,ZK	5	2P+1C				B242
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	B242