Katedra teoretické informatiky

Výuka

Bakalářské specializace

Teoretická informatika Teoretická informatika (verze pro anglické studenty)

Magisterské specializace

Systémové programování * Teoretická informatika Teoretická informatika (verze pro anglické studenty)

Předměty bakalářského studia

Kód Název předmětu Kredity
BIE-AG1.21 Algorithms and Graphs 1 5
BIE-AG2.21 Algorithms and Graphs 2 5
BIE-AX2 Algorithms and Graphs 2 No Implementation 4
BIE-AX1 Algorithms and Graphs No Implementation 4
BIE-AX1.24 Algorithms and Graphs No Implementation 5
BI-AG1.21 Algoritmy a grafy 1 5
BI-AX1 Algoritmy a grafy 1 5
BIK-AG1.21 Algoritmy a grafy 1 5
BI-AG2.21 Algoritmy a grafy 2 5
BI-AVI.21 Algoritmy vizuálně 4
BIE-AAG.21 Automata and Grammars 5
BI-AAG.21 Automaty a gramatiky 5
BIK-AAG.21 Automaty a gramatiky 5
BIE-CCN Compiler Construction 5
BI-DAS Datové struktury 5
BI-EP1 Efektivní programování 1 4
BI-EP1.24 Efektivní programování 1 4
BI-EP2 Efektivní programování 2 4
BI-CSI Introduction to Computer Science 2
BIE-CSI Introduction to Computer Science 2
BI-ICS Introduction to Computer Science 2
BI-ICS.18 Introduction to Computer Science 3
BIE-OOP.21 Object-Oriented Programming 5
BIK-OOP.21 Object-Oriented Programming 5
BI-OOP.21 Object-Oriented Programming 5
BI-ORL Operační výzkum a lineární programování 5
BIE-PJP.21 Programming Languages and Compilers 5
BIE-PPA Programming Paradigms 5
BIE-PPA.21 Programming Paradigms 5
BIE-PA1.21 Programming and Algorithmics 1 7
BIE-PA2.21 Programming and Algorithmics 2 7
BI-PJP.21 Programovací jazyky a překladače 5
BIK-PPA Programovací paradigmata 5
BIK-PPA.21 Programovací paradigmata 5
BI-PPA.21 Programovací paradigmata 5
BI-ACM2 Programovací praktika 2 5
BI-ACM3 Programovací praktika 3 5
BI-ACM4 Programovací praktika 4 5
BIK-PA1.21 Programování a algoritmizace 1 7
BI-PA1.21 Programování a algoritmizace 1 7
BIK-PA2.21 Programování a algoritmizace 2 7
BI-PA2.21 Programování a algoritmizace 2 7
BI-PMA Programování v Mathematica 4
BIE-VAK.21 Selected Combinatorics Applications 3
BIE-SEG Systems Engineering -
BI-SEG Systems Engineering -
BI-TS1 Teoretický seminář I 4
BI-TS2 Teoretický seminář II 4
BI-TS3 Teoretický seminář III 4
BI-TS4 Teoretický seminář IV 4
BI-CCN Tvorba překladačů 5
BI-TEX Typografie a TeX 4
BI-VAK.21 Vybrané aplikace kombinatoriky 3

Předměty navazujícího magisterského studia

Kód Název předmětu Kredity
NIE-APT Advanced Program Testing 5
NI-ATH Algoritmická teorie her 4
NIE-GEN Code Generators 5
NIE-CPX Complexity Theory 5
NIE-CPX.26 Complexity Theory 6
NIE-KOD Data Compression 5
NI-PAM Efektivni předzpracování a parametrizované algoritmy 4
NI-EVY Efektivní vyhledávání v textech 5
NIE-EVY Efficient Text Pattern Matching 5
MI-FLP.16 Funkcionální a logické programování 5
NI-GEN Generování kódu 5
NI-GAK Grafy a kombinatorika 5
NI-GAK.26 Grafy a kombinatorika 6
NIE-GAK Graph theory and combinatorics 5
NIE-GAK.26 Graph theory and combinatorics 6
NIE-ICC Introduction to Computational Complexity 6
NIE-DVG Introduction to Discrete and Computational Geometry 5
NI-KTH Kombinatorická teorie her 4
NI-KOD Komprese dat 5
NI-FMT Konečná teorie modelů 4
NIE-LOM Linear Optimization and Methods 5
NI-LOM Lineární optimalizace a metody 5
NI-NON Nelineární optimalizace a numerické metody 5
NIE-NON Nonlinear Continuous Optimization and Numerical Methods 5
NIE-PAM Parameterized Algorithms 4
NIE-SYP Parsing and Compilers 5
NIE-ROZ Pattern Recognition 5
NI-APT Pokročilé testování programů 5
NI-ROZ Rozpoznávaní 5
MIE-RUN.16 Runtime Systems 5
NIE-RUN Runtime systémy 5
NI-RUN Runtime systémy 5
NIE-APR Selected Methods for Program Analysis 5
NIE-SEM Semantics of Programming Languages 5
NI-SEM Semantika programovacích jazyků 5
NI-PLS1 Seminář na téma programovacích jazyků 2
NI-PLS2 Seminář na téma programovacích jazyků 2
NI-PLS3 Seminář na téma programovacích jazyků 2
NI-PLS4 Seminář na téma programovacích jazyků 2
NI-MOB Studentská mobilita 2
NI-SLA Sublineární algoritmy 5
NI-SYP Syntaktická analýza a překladače 5
NI-TS1 Teoretický seminář magisterský I 4
NI-TS2 Teoretický seminář magisterský II 4
NI-TS3 Teoretický seminář magisterský III 4
NI-TS4 Teoretický seminář magisterský IV 4
NI-CPX Teorie složitosti 5
NI-CPX.26 Teorie složitosti 6
NI-VOL Volby a volební systémy 5
NI-APR Vybrané metody analýzy programů 5
NI-DVG Úvod do diskrétní a výpočetní geometrie 5
NI-ICC Úvod do výpočetní složitosti 6

Předměty doktorského studia

Kód Název předmětu Kredity
PI-APA Advanced Program Analysis 4
PI-AKD Algoritmy komprese dat 4
PI-AVG Algoritmy výpočetní genomiky 4
PI-ARB Arbologie 4
PI-ASP Architektura symbolických počítačů 4
PI-ROZ Pokročilé rozpoznávání 4
PI-STR Stringologie 4
PI-TGR Teorie grafů 4
PI-TPL Type Systems for Programming Languages 4

Celofakultní předměty

Kód Název předmětu Kredity
UNI-ADS Algoritmy a datové struktury 7
UNIK-ADS Algoritmy a datové struktury 7
UNI-DI1 Didaktika informatiky I 6
UNIK-DI1 Didaktika informatiky I 6
UNI-DI2 Didaktika informatiky II 7
UNIK-DI2 Didaktika informatiky II 7
QNIE-LOM Lineární optimalizace a metody 5
QNI-LOM Lineární optimalizace a metody 5
QNIE-PJK Programovací jazyky pro kvantové počítání 5
QNI-PJK Programovací jazyky pro kvantové počítání 5
FIT-ACM1 Programovací praktika 1 5
FIT-ACM2 Programovací praktika 2 5
FIT-ACM3 Programovací praktika 3 5
FIT-ACM4 Programovací praktika 4 5
FIT-ACM5 Programovací praktika 5 5
FIT-ACM6 Programovací praktika 6 5
FIT-PMA Programování v Mathematica 4
UNIK-PPP Propedeutikum pedagogické praxe 6
UNI-PPP Propedeutikum pedagogické praxe 6
UNIK-RPP Reflexe pedagogické praxe 3
UNI-RPP Reflexe pedagogické praxe 3
ANI-ROZ Rozpoznávaní 5
UNIK-SPP Souvislá pedagogická praxe 15
UNI-SPP Souvislá pedagogická praxe 15
FIT-TS1 Teoretický seminář 1 4
FIT-TS0 Teoretický seminář 10 4
FIT-TS2 Teoretický seminář 2 4
FIT-TS3 Teoretický seminář 3 4
FIT-TS4 Teoretický seminář 4 4
FIT-TS5 Teoretický seminář 5 4
FIT-TS6 Teoretický seminář 6 4
FIT-TS7 Teoretický seminář 7 4
FIT-TS8 Teoretický seminář 8 4
FIT-TS9 Teoretický seminář 9 4
QNI-CPX Teorie složitosti 6
QNIE-CPX Teorie složitosti 6
ANI-DVG Úvod do diskrétní a výpočetní geometrie 5