Výuka
Vyučované předměty
Podzim 2004 na Fakultě informatiky
- Seminář k informační společnosti
- Seminář řešení programátorských úloh
- Seminář z verifikace
- Seminář z vyhledávání znalostí
- 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 2004 na Fakultě informatiky
- Formální jazyky a automaty I
- Funkcionální programování
- Informatické kolokvium
- Komunikace a paralelismus
- Konstrukce gramatik
- Kvantové algoritmy a výpočty pre pokročilých
- Kvantový seminář
- Laboratoř paralelních a distribuovaných systémů
- Lambda kalkul
- Metody efektivního programování
- Náhodnostní algoritmy a výpočty
- Návrh algoritmů II (I063, IB108)
- Návrh algoritmů I
- Neuronové sítě
- Paralelní gramatiky a automaty
- Paralelní výpočty
- Projekt z překladačů
- Sémantiky programovacích jazyků
- Seminář řešení programátorských úloh
- Seminář z návrhu algoritmů
- Seminář z verifikace
- Seminář z vyhledávání znalostí
- Složitost
- Souběžnost -- seminář
- Teorie a specifikace procesů
- Úvod do logiky a logického programování
- Vyčíslitelnost
- Vyhledávání znalostí v databázích
- Výpočtová logika
Podzim 2003 na Fakultě informatiky
- Algebraické prostředky lingvistiky
- Algoritmika pro těžké problémy
- Automaty a gramatiky
- GEB -- meze formálních systémů
- Informatické kolokvium
- Kódování, kryptografie a kryptografické protokoly
- Kvantový seminář
- Laboratoř paralelních a distribuovaných systémů
- 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