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.