Oktatási cél: A mérnök informatikus mesterszak elméleti alapozása, modellek és algoritmusok fejlesztése, vizsgálata, használata.
Tematika: Matematikai alapfogalmak. Formális nyelvek és automaták. Algoritmusok, kiszámítható függvények és döntési problémák. Algoritmusok elemzése. Turing gépek, rekurzív függvények. Algoritmikus eldönthetőség, kiszámíthatóság és bonyolultság. Számítási bonyolultság.