Výuka
Vyučované předměty
Podzim 2000 na Fakultě informatiky
Jaro 2000 na Přírodovědecké fakultě
Jaro 2000 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é zpracování informace -- fyzikální aspekty
- Kvantový seminář
- Laboratoř paralelních a distribuovaných systémů
- Matematické základy kvantového zpracování informace
- 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
- Projekt z objektových a deduktivních databází
- Sémantiky programovacích jazyků
- Seminář k informační společnosti
- Seminář z návrhu algoritmů I
- Souběžnost -- seminář
- Strukturní složitost
- Úvod do objektově orientovaného programování
- Vyčíslitelnost (I007, I507)
- Vyčíslitelnost II
- Vyhledávání znalostí v databázích
- Výpočtová logika
- Znalostní systémy