Výuka
Vyučované předměty
Jaro 2003 na Fakultě informatiky
Podzim 2002 na Fakultě informatiky
- Algebraické prostředky lingvistiky
- Induktivní logické programování
- Informatické kolokvium
- Kódování, kryptografie a kryptografické protokoly
- Komunikace a paralelismus
- Kvantové algoritmy a automaty
- Kvantový seminář
- Laboratoř paralelních a distribuovaných systémů
- Modální a temporální logiky procesů
- Návrh a verifikace algoritmů
- Petriho sítě
- Principy programovacích jazyků
- Projekt z geometrických algoritmů
- Projekt z vyhledávání znalostí v databázích
- Překladače
- Sémantiky programovacích jazyků
- Seminář z vyhledávání znalostí
- Složitost
- Souběžnost -- seminář
- Úvod do funkcionálního programování
- Úvod do informatiky
- Úvod do programování
- Vybrané kapitoly z kvantové mechaniky
- Vybrané kapitoly z teorie automatů
- Vyčíslitelnost
Jaro 2002 na Fakultě informatiky
- Diplomový seminář
- Formální jazyky a automaty I (I005, I505)
- Funkcionální programování
- Informační společnost
- Informatické kolokvium
- Konstrukce gramatik
- Kvantové počítače a výpočty
- Laboratoř paralelních a distribuovaných systémů
- Modální a temporální logiky procesů
- Náhodnostní algoritmy a výpočty
- Návrh algoritmů I (I002, I502)
- Návrh algoritmů II
- Paralelní gramatiky a automaty
- Paralelní výpočty
- Seminář z vyhledávání znalostí
- Seminář z návrhu algoritmů I
- Souběžnost -- seminář
- Strukturní složitost
- Teorie a specifikace procesů
- Úvod do objektově orientovaného programování
- Vyčíslitelnost (I007, I507)
- Vyhledávání znalostí v databázích
- Výpočtová logika
Podzim 2001 na Fakultě informatiky
- Algebraické prostředky lingvistiky
- Diplomový seminář
- Formální jazyky a automaty II
- GEB -- meze formálních systémů
- Induktivní logické programování
- Informatické kolokvium
- Kódování, kryptografie a kryptografické protokoly
- Komunikace a paralelismus
- Kvantové algoritmy a automaty
- Laboratoř paralelních a distribuovaných systémů
- Metody efektivního programování
- Návrh a verifikace algoritmů
- Neuronové sítě
- Petriho sítě
- Principy programovacích jazyků
- Projekt z geometrických algoritmů
- Projekt z vyhledávání znalostí v databázích
- Překladače
- Sémantiky programovacích jazyků
- Složitost
- Souběžnost -- seminář
- Úvod do funkcionálního programování
- Úvod do informatiky
- Úvod do programování
- Vybrané kapitoly z kvantové mechaniky
- Vybrané metody SŠ matematiky
Podzim 2001 na Filozofické fakultě
Jaro 2001 na Přírodovědecké fakultě
Jaro 2001 na Fakultě informatiky
- Diplomový seminář
- Formální jazyky a automaty I (I005, I505)