Studium

Bakalářské (Bc.)

Magisterské (Mgr.)

Doktorské (Ph.D.)

Katedra zajišťuje výuku povinných předmětů oboru informatika jako například Automaty a gramatiky, Výroková a predikátová logika nebo Algoritmy a datové struktury. Zajišťuje také vedení bakalářských prací a softwarových projektů v oblastech umělé inteligence (hry, plánování), dobývání znalostí, robotika atd.

Katedra garantuje studijní obory Teoretická informatika a Umělá inteligence. Zajišťuje také výuku předmětů v těchto oblastech. Vyučujeme povinné předměty Úvod do složitosti a vyčíslitelnosti, Datové struktury, které jsou povinné pro všechny informatické studijní obory. Pracovníci katedry působí jako vedoucí diplomových prací v oblastech reprezentace a odvozování znalostí, plánování, řešení problémů s omezujícími podmínkami, strojové učení, dobývání znalostí, neuronové sítě, přírodou inspirované algoritmy, robotika, teorie algoritmů, datové struktury atd.

Katedra garantuje program Teoretická informatika, který zahrnuje také témata z umělé inteligence. Studium je organizováno ve spolupráci s Akademií věd České Republiky. Pracovníci katedry působí jako vedoucí dizertací v oblastech jako jsou například automatické plánování, řešení problémů s omezujícími podmínkami, Booleovské funkce, strojové učení, neuronové sítě, přírodou inspirované výpočty, chytré sítě, paralelní výpočty atd. Studenti se zájmem o tyto oblasti zpravidla kontaktují možné vedoucí na základě oblasti zájmu před zahájením studia.