Katedra teoretické informatiky

Výuka

Bakalářské specializace

Teoretická informatika

Magisterské specializace

Systémové programování Teoretická informatika

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

Kód Název předmětu
BIE-AG1 Algorithms and Graphs 1
BIE-AG2 Algorithms and Graphs 2
BIK-AG1 Algoritmy a grafy 1
BI-AG1 Algoritmy a grafy 1
BI-AG2 Algoritmy a grafy 2
BI-AVI Algoritmy vizuálně
BIE-AAG Automata and Grammars
BI-AAG Automaty a gramatiky
BIK-AAG Automaty a gramatiky
BI-EP1 Efektivní programování 1
BI-EP2 Efektivní programování 2
BIE-TED Electronic Documentation Design
BI-ICS.18 Introduction to Computer Science
BI-ICS Introduction to Computer Science
BIE-OOP Object-Oriented Programming
BI-OOP Object-Oriented Programming
BIK-OOP.21 Object-Oriented Programming
BIK-OOP Objektově orientované programování
BIE-PJP Programming Languages and Compilers
BIE-PPA Programming Paradigms
BIE-PA1 Programming and Algorithmics 1
BIE-PA2 Programming and Algorithmics 2
BI-PJP Programovací jazyky a překladače
BIK-PPA Programovací paradigmata
BI-PPA Programovací paradigmata
BI-ACM Programovací praktika 1
BI-ACM2 Programovací praktika 2
BI-ACM3 Programovací praktika 3
BI-ACM4 Programovací praktika 4
BI-PA1 Programování a algoritmizace 1
BIK-PA1 Programování a algoritmizace 1
BIK-PA1.21 Programování a algoritmizace 1
BI-PA2 Programování a algoritmizace 2
BIK-PA2 Programování a algoritmizace 2
BI-PMA Programování v Mathematica
BI-TS1 Teoretický seminář I
BI-TS2 Teoretický seminář II
BI-TS3 Teoretický seminář III
BI-TS4 Teoretický seminář IV
BIK-TED Tvorba elektronické dokumentace
BI-TED Tvorba elektronické dokumentace
BI-TEX Typografie a TeX

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

Kód Název předmětu
NI-ATH Algoritmická teorie her
MIE-AVY Automata in Text Pattern Matching
MI-AVY Automaty ve vyhledávání v textech
MIE-GEN Code Generators
MIE-KOD Data Compression
MIE-KOD.16 Data Compression
MI-PAM Efektivni předzpracování a parametrizované algoritmy
NI-PAM Efektivni předzpracování a parametrizované algoritmy
MI-EVY.16 Efektivní vyhledávání v textech
NI-EVY Efektivní vyhledávání v textech
MIE-EVY.16 Efficient Text Pattern Matching
MIE-FLP.16 Functional and Logical Programming
MI-FLP Funkcionální a logické programování
MI-FLP.16 Funkcionální a logické programování
MI-GEN Generování kódu
NI-GEN Generování kódu
NI-GAK Grafy a kombinatorika
MI-GAK Grafy a kombinatorika
NI-KTH Kombinatorická teorie her
MI-ATH Kombinatorická teorie her
MI-KOD.16 Komprese dat
NI-KOD Komprese dat
MI-LOM.16 Lineární optimalizace a metody
NI-LOM Lineární optimalizace a metody
NI-MPJ Modelování programovacích jazyků
MI-NON.16 Nelineární optimalizace a numerické metody
NI-NON Nelineární optimalizace a numerické metody
MIE-NON.16 Nonlinear Continuous Optimization and Numerical Methods
NI-OSY Operační systémy a systémové programování
MIE-SYP.16 Parsing and Compilers
MIE-ROZ Pattern Recognition
MI-PAL Pokročilá algoritmizace
MI-ROZ.16 Rozpoznávaní
NI-ROZ Rozpoznávaní
MI-RUN.16 Runtime systémy
NI-RUN Runtime systémy
NI-SYP Syntaktická analýza a překladače
MI-SYP.16 Syntaktická analýza a překladače
NI-TS1 Teoretický seminář magisterský I
MI-TS1 Teoretický seminář magisterský I
MI-TS2 Teoretický seminář magisterský II
NI-TS2 Teoretický seminář magisterský II
NI-TS3 Teoretický seminář magisterský III
MI-TS4 Teoretický seminář magisterský IV
NI-TS4 Teoretický seminář magisterský IV
NI-CPX Teorie složitosti
MI-CPX Teorie složitosti
NI-APR Vybrané metody analýzy programů

Předměty doktorského studia

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