Канал: Tomáš Kocourek

SZZ: Paralelní algoritmy nad seznamy a stromy

SZZ: Paralelní algoritmy nad seznamy a stromy

SZZ: Model PRAM, suma prefixů

SZZ: Model PRAM, suma prefixů

SZZ: Regresní analýza

SZZ: Regresní analýza

SZZ: Časová a prostorová složitost

SZZ: Časová a prostorová složitost

SZZ: Nerozhodnutelnost

SZZ: Nerozhodnutelnost

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

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

SZZ: Prolog - Unifikace a vyhodnocování

SZZ: Prolog - Unifikace a vyhodnocování

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

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

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

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

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

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

SZZ: Deterministická syntaktická analýza zdola nahoru

SZZ: Deterministická syntaktická analýza zdola nahoru

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

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

SZZ: Teorie aukcí

SZZ: Teorie aukcí

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

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

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

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

SZZ: Teorie veřejné volby

SZZ: Teorie veřejné volby

Teoretická informatika: Turingovy stroje

Teoretická informatika: Turingovy stroje

Teoretická informatika: Bezkontextové jazyky

Teoretická informatika: Bezkontextové jazyky

Teoretická informatika - Regulární jazyky I

Teoretická informatika - Regulární jazyky I

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

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

Teoretická informatika: Regulární jazyky II

Teoretická informatika: Regulární jazyky II

SZZ: Konečné automaty

SZZ: Konečné automaty

SZZ: Zásobníkové automaty

SZZ: Zásobníkové automaty

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

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

SZZ: Randomizované algoritmy

SZZ: Randomizované algoritmy

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

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: 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: 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í nejkratších cest z jednoho uzlu do všech ostatních uzlů grafu

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

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

SZZ : Lambda kalkul - úvod

SZZ : Lambda kalkul - úvod

SZZ: Prohledávání grafů do hloubky a jeho aplikace

SZZ: Prohledávání grafů do hloubky a jeho aplikace

SZZ: Grafy a jejich prohledávání do šířky

SZZ: Grafy a jejich prohledávání do šířky

SZZ: Náhodné veličiny, významná rozdělení pravděpodobnosti

SZZ: Náhodné veličiny, významná rozdělení pravděpodobnosti

SZZ: Pravděpodobnost

SZZ: Pravděpodobnost

SZZ: Chomského hierarchie a vlastnosti jazyků

SZZ: Chomského hierarchie a vlastnosti jazyků

SZZ: Regulární množiny, regulární výrazy

SZZ: Regulární množiny, regulární výrazy

SZZ: Turingovy stroje a vyčíslitelné funkce

SZZ: Turingovy stroje a vyčíslitelné funkce

SZZ: Základy diskrétní matematiky

SZZ: Základy diskrétní matematiky

SZZ: Algebry s jednou a se dvěma operacemi

SZZ: Algebry s jednou a se dvěma operacemi

Teoretická informatika: Složitost

Teoretická informatika: Složitost

Teoretická informatika: Nerozhodnutelnost

Teoretická informatika: Nerozhodnutelnost