Vypracované okruhy magisterského programu Otevřená informatika
1) Standardní grafové úlohy s polynomiální složitostí řešení. Kombinatorické a číselně teoretické algoritmy, izomorfizmus, prvočíselnost. Vyhledávací stromy a jejich využití. Vyhledávání v textu založené na konečných automatech. A4M33PAL
PAL Pokročilá algoritmizace
2) Třídy složitosti úloh/jazyků a to jak vzhledem k časové složitosti jejich řešení, tak i paměťové složitosti včetně nerozhodnutelných úloh/jazyků. B4M01TAL
TAL Teorie algoritmů
3) Problémy kombinatorické optimalizace zahrnující popis aplikací, formalizaci problému, rozbor složitosti a řešící algoritmy. B4M35KO
KO Kombinatorická optimalizace
Vypracované okruhy oboru Umělá inteligence
1) Modely naučitelnosti: PAC a online. Naučitelnost konjunkcí a disjunkcí. Bayesovské sítě. Posilované učení. B4M36SMU
SMU Symbolické strojové učení
2) Rezoluce v logice 1. řádu, automatické dokazovače. Principy metod strojového dokazování v booleovských doménách a v predikátové logice. Hledání modelů v obecných doménách. B4M36LUP
LUP Logické uvažování a programování
3) Minimalizace empirického rizika. Odhad maximální věrohodnosti, EM algoritmus. Hluboké sítě a jejich učení. Standardní a hluboké neuronové sítě a jejich učení. BE4M33SSU
SSU Statistické strojové učení
4) Doménově nezávislé plánování. Vlastnosti, heuristiky a algoritmy. B4M36PUI
PUI Plánování pro umělou inteligenci
5) Autonomní agenti a multiagentní systémy. Nekooperativní teorie her. B4M36MAS
MAS Multiagentní systémy
6) Rozhodování, plánování, a koordinace autonomních systémů s jedním nebo více roboty. B4M36UIR
UIR Umělá inteligence v robotice