Výuka
Vyučované předměty
Podzim 2003 na Fakultě informatiky
- Modální a temporální logiky procesů
- Návrh a verifikace algoritmů
- Paralelní a distribuované výpočty
- 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
- Seminář z verifikace
- Seminář z vyhledávání znalostí
- Složitost
- Souběžnost -- seminář
- Úvod do funkcionálního programování
- Úvod do informatiky
- Úvod do kvantových algoritmov a počítačov
- Úvod do programování
- Vybrané kapitoly z kvantové mechaniky
- Vybrané kapitoly z teorie automatů
- Vyčíslitelnost a složitost
Jaro 2003 na Fakultě informatiky
- Formální jazyky a automaty I
- Funkcionální programování
- Informatické kolokvium
- Komunikace a paralelismus
- Konstrukce gramatik
- Kvantové počítače a výpočty
- Kvantový seminář
- Laboratoř paralelních a distribuovaných systémů
- Metody efektivního programování
- Náhodnostní algoritmy a výpočty
- Návrh algoritmů II (I063, IB108)
- Návrh algoritmů I (I002, IB002)
- Neuronové sítě
- Paralelní výpočty
- Sémantiky programovacích jazyků
- Seminář z vyhledávání znalostí
- Souběžnost -- seminář
- Strukturní složitost
- Typy a důkazy
- Úvod do logiky a logického programování
- Vybrané kapitoly z teorie jazyků
- Vyčíslitelnost (I007, I507)
- Vyhledávání znalostí v databázích
- Výpočtová logika
- Znalostní systémy
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