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, B242
NIE-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	anglicky	Z,ZK	5	2P+1C				B241
BIE-AG1	Algorithms and Graphs 1	anglicky	Z,ZK	6	2P+2C				Předmět není vypsán
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	Algorithms and Graphs 2	anglicky				Z,ZK	5	2P+2C	Předmět není vypsán
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
NUCI-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-AG1	Algoritmy a grafy 1	česky	Z,ZK	6	2P+2C				Předmět není vypsán
BI-AG2	Algoritmy a grafy 2	česky				Z,ZK	5	2P+2C	Předmět není vypsán
BI-AG2.21	Algoritmy a grafy 2 Radek Hušek, Dušan Knop, Michal Opler, Jiřina Scholtzová, Martin Slávik, 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	Automata and Grammars	anglicky	Z,ZK	6	2P+2C				Předmět není vypsán
BIE-AAG.21	Automata and Grammars Jan Holub^Ⓖ, Tomáš Pecka, Štěpán Plachý	anglicky	Z,ZK	5	2P+2C				B241
BI-AAG	Automaty a gramatiky	česky	Z,ZK	6	2P+2C				Předmět není vypsán
BIK-AAG.21	Automaty a gramatiky Jan Holub^Ⓖ, Tomáš Pecka, Štěpán Plachý	č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
BIK-AAG	Automaty a gramatiky	česky	Z,ZK	6	13KP+4KC				Předmět není vypsán
MI-AVY	Automaty ve vyhledávání v textech	česky				Z,ZK	4	2P+1C	Předmět není vypsán
BIE-CCN	Compiler Construction Christoph Kirsch^Ⓖ	anglicky				Z,ZK	5	3P	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
NI-PAM	Efektivni předzpracování a parametrizované algoritmy Ondřej Suchý^Ⓖ	česky				Z,ZK	4	2P+1C	B242
BI-EFA	Efektivní algoritmy	česky	Z,ZK	5	2P+2C				Předmět není vypsán
BIK-EFA	Efektivní algoritmy	česky	Z,ZK	5	13KP+4KC				Předmět není vypsán
BI-EIA	Efektivní implementace algoritmů	česky	Z,ZK	5	2P+1C				Předmět není vypsán
BIK-EIA	Efektivní implementace algoritmů	česky	Z,ZK	5	13KP+4KC				Předmět není vypsán
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
MI-EVY.16	Efektivní vyhledávání v textech	česky	Z,ZK	5	2P+1C				Předmět není vypsán
BIE-EFA	Efficient Algorithms	anglicky	Z,ZK	5	2P+2C				Předmět není vypsán
NIE-EVY	Efficient Text Pattern Matching Jan Holub^Ⓖ	anglicky	Z,ZK	5	2P+1C				B241
BIE-TED	Electronic Documentation Design	anglicky				KZ	5	2P+2C	Předmět není vypsán
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
MI-FLP	Funkcionální a logické programování	česky				Z,ZK	4	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
BIK-GRA	Grafové algoritmy a základy teorie složitosti	česky				Z,ZK	5	13KP+4KC	Předmět není vypsán
BI-GRA	Grafové algoritmy a základy teorie složitosti	česky				Z,ZK	5	2P+2C	Předmět není vypsán
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
BIE-GRA	Graph Algorithms and Complexity Theory	anglicky				Z,ZK	5	2P+2C	Předmět není vypsán
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 Matyáš Křišťan, Tomáš Valla^Ⓖ	česky				Z,ZK	4	2P+1C	B242
NI-KOD	Komprese dat Jan Holub^Ⓖ	anglicky				Z,ZK	5	2P+1C	B242
MI-KOD.16	Komprese dat	česky				Z,ZK	5	2P+1C	Předmět není vypsán
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
NI-LOM	Lineární optimalizace a metody Dušan Knop^Ⓖ	česky	Z,ZK	5	2P+1C				B241
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
MI-NON.16	Nelineární optimalizace a numerické metody	česky	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
BIE-OOP	Object-Oriented Programming	anglicky	Z,ZK	4	2P+2C				Předmět není vypsán
BI-OOP	Object-Oriented Programming	česky	Z,ZK	4	2P+2C				Předmět není vypsán
BIK-OOP	Objektově orientované programování	česky	Z,ZK	4	14KP+4KC				Předmět není vypsán
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-PJP	Programming Languages and Compilers	anglicky				Z,ZK	5	2P+1C	Předmět není vypsán
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	Programming and Algorithmics 1	anglicky	Z,ZK	6	2P+2R+2C				Předmět není vypsán
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	Programming and Algorithmics 2	anglicky				Z,ZK	7	2P+1R+1C	Předmět není vypsán
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
BI-PJP	Programovací jazyky a překladače	česky				Z,ZK	5	2P+1C	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
BI-PPA	Programovací paradigmata	česky	Z,ZK	5	2P+2R				Předmět není vypsán
BIK-PPA	Programovací paradigmata	česky	Z,ZK	5	14KP+4KC				Předmět není vypsán
BI-ACM	Programovací praktika 1	česky				KZ	5	4C	Předmět není vypsán
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
BI-PA1	Programování a algoritmizace 1	česky	Z,ZK	6	2P+2R+2C				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				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
BIK-PA1	Programování a algoritmizace 1	česky	Z,ZK	6	20KP+6KC				Předmět není vypsán
BI-PA2	Programování a algoritmizace 2	česky				Z,ZK	7	2P+1R+2C	Předmět není vypsán
BI-PA2.21	Programování a algoritmizace 2 Daniel Breiner, Vít Břichňáč, Suzan Catay, Jarmila Fialová, Filip Gregor, Peter Guľa, Radek Hušek, Barbora Kolomazníková, Tomáš Krupička, Jan Matoušek, Petr Nohejl, Petr Pauš, Tomáš Pecka, Matyáš Rak, Jan Trávníček^Ⓖ, Oliver Tušla, Ladislav Vagner, Josef Vogel, Jakub Votrubec, Ondřej Štorc, Jan Šuráň, Jakub Švec, 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
BIK-PA2	Programování a algoritmizace 2	česky				Z,ZK	7	13KP+4KC	Předmět není vypsán
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
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ý, Maria Saumell Mendiola, Šimon Schierreich, Ondřej Suchý, Tomáš Valla	anglicky				Z	3	2R	B242
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
MI-SYP.16	Syntaktická analýza a překladače	česky	Z,ZK	5	2P+1C				Předmět není vypsán
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, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				Z	4	2C	B241
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, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky				Z	4	2C	B242
MI-TS1	Teoretický seminář magisterský I		Z	4	2C				Předmět není vypsán
NI-TS1	Teoretický seminář magisterský I Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	česky	Z	4	2C				Předmět není vypsán
MI-TS2	Teoretický seminář magisterský II	č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, 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
NI-CPX	Teorie složitosti Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ	česky	Z,ZK	5	3P+1C				B241
BIK-TED	Tvorba elektronické dokumentace	česky				KZ	5	13KP+4KC	Předmět není vypsán
BI-TED	Tvorba elektronické dokumentace	česky				KZ	5	2P+1C	Předmět není vypsán
BI-CCN	Tvorba překladačů Christoph Kirsch^Ⓖ	anglicky				Z,ZK	5	3P	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				Předmět není vypsán
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