Tomáš Kocourek

SZZ: Paralelní algoritmy nad seznamy a stromy

SZZ: Model PRAM, suma prefixů

SZZ: Regresní analýza

SZZ: Časová a prostorová složitost

SZZ: Nerozhodnutelnost

SZZ: Prolog - Změna programu za běhu

SZZ: Prolog - Unifikace a vyhodnocování

FLP: Příprava k půlsemestrální zkoušce

SZZ: Lambda kalkul - definice pravdivostních hodnot a přirozených čísel

SZZ: Haskell - typy v jazyce a líné vyhodnocování

SZZ: Deterministická syntaktická analýza zdola nahoru

SZZ: Deterministická syntaktická analýza shora dolů

SZZ: Teorie aukcí

Formální jazyky a překladače: Proudění k přípravě na zkoušku

SZZ: Převodníky a překladové gramatiky

SZZ: Teorie veřejné volby

Teoretická informatika: Turingovy stroje

Teoretická informatika: Bezkontextové jazyky

Teoretická informatika - Regulární jazyky I

SZZ: Vícevýběrové testy, testy o rozdělení

Teoretická informatika: Regulární jazyky II

SZZ: Konečné automaty

SZZ: Zásobníkové automaty

SZZ: Bodové a intervalové odhady, statistické testy

SZZ: Randomizované algoritmy

SZZ: Markovské řetězce a jejich analýza

SZZ: Hledání nejkratších cest ze všech uzlů do všech ostatních uzlů grafu

SZZ: Maximální toky v sítích

SZZ: Hledání nejkratších cest z jednoho uzlu do všech ostatních uzlů grafu

SZZ: Hledání minimální kostry grafu