Фундаментальна математична дисципліна. Містить математичні основи комп’ютерних наук. Розглядаються елементи математичної логіки, теорії множин, комбінаторики, теорії графів. Має на меті забезпечити студентів необхідним математичним апаратом для вивчення курсів: математична логіка і теорія алгоритмів, теорія ймовірностей і математична статистика, основи комп’ютерних алгоритмів, бази даних і бази знань, програмування.