Výuka
Vyučované předměty
Podzim 2007 na Fakultě informatiky
- Informatické kolokvium
- Kódování, kryptografie a kryptografické protokoly
- Kvantový seminář
- Laboratoř dobývání znalostí
- Laboratoř paralelních a distribuovaných systémů
- Matematická logika
- Modální a temporální logiky procesů
- Návrh a verifikace algoritmů
- Paralelní a distribuované výpočty
- Principy programovacích jazyků
- Projekt z distribuovaných systémů
- Překladače
- Seminář laboratoře paralelních a distribuovaných systémů
- Seminář řešení programátorských úloh
- Seminář z dobývání znalostí
- Souběžnost - seminář
- Strojové učení a přirozený jazyk
- Úvod do funkcionálního programování
- Úvod do informatiky
- Úvod do kvantových algoritmov a počítačov
- Úvod do validace a verifikace
- Vybrané kapitoly z kvantové mechaniky
- Vybrané kapitoly z teorie automatů
- Vyčíslitelnost a složitost
Jaro 2007 na Fakultě informatiky
- Advanced Graph Theory II
- Computational Logic
- Dobývání znalostí z dat
- Formální jazyky a automaty I
- Funkcionální programování
- Informatické kolokvium
- Komunikace a paralelismus
- Kvantové algoritmy a výpočty pre pokročilých
- Kvantový seminář
- Laboratoř paralelních a distribuovaných systémů
- Modelování a simulace
- Náhodnostní algoritmy a výpočty
- Návrh a implementace paralelních systémů
- Návrh algoritmů II
- Návrh algoritmů I
- Neuronové sítě
- Petriho sítě
- Pravděpodobnost v informatice
- Projekt z překladačů
- Real Time Systems
- Sémantiky programovacích jazyků
- Seminář řešení programátorských úloh
- Seminář z verifikace
- Seminář z vyhledávání znalostí
- Složitost
- Souběžnost -- seminář
- Úlohy lineární a celočíselné optimalizace a jejich řešení
- Úvod do logiky a logického programování
Podzim 2006 na Fakultě informatiky
- Algoritmika pro těžké problémy
- Automaty a gramatiky
- GEB -- meze formálních systémů
- Informační společnost
- Informatické kolokvium
- Kódování, kryptografie a kryptografické protokoly
- Kvantový seminář
- Laboratoř dobývání znalostí
- Laboratoř paralelních a distribuovaných systémů
- Matematická logika
- Modální a temporální logiky procesů
- Paralelní a distribuované výpočty
- Principy programovacích jazyků
- Projekt z distribuovaných systémů
- Překladače
- Seminář řešení programátorských úloh
- Seminář z vyhledávání znalostí
- Souběžnost -- seminář
- Strojové učení a přirozený jazyk
- Úvod do funkcionálního programování
- Úvod do informatiky
- Úvod do kvantových algoritmov a počítačov
- Vybrané kapitoly z kvantové mechaniky
- Vybrané kapitoly z teorie automatů
- Vyčíslitelnost a složitost
Jaro 2006 na Fakultě informatiky
- Advanced topics in Graph Theory: Graphs on surfaces
- Computational Logic
- Formální jazyky a automaty I
- Funkcionální programování
- Hot Topics of Quantum Information Processing
- Informatické kolokvium
- Komunikace a paralelismus
- Kvantové algoritmy a výpočty pre pokročilých
- Kvantový seminář
- Laboratoř paralelních a distribuovaných systémů
- Modelování a simulace
- Náhodnostní algoritmy a výpočty
- Návrh algoritmů II