Výuka

Katedra zodpovídá za absolventské studijní programy Teoretická informatika a Umělá inteligence a za doktorský program Teoretická informatika (který zahrnuje i témata umělé inteligence). Vyučujeme a dohlížíme na studenty na všech úrovních studia (vysokoškolské, postgraduální i postgraduální). Zaměřujeme se na oblasti jako výroková a predikátová logika, formální automaty a gramatiky, složitost a vyčíslitelnost, umělá inteligence včetně plánování/plánování, programování s omezujícími podmínkami, reprezentace znalostí (logická a pravděpodobnostní), strojové učení a dobývání znalostí, neuronové sítě, přírodou inspirované výpočty a robotika.