Во овој предмет ќе се изучуваат базични математички концепти за компјутерски
науки. Студентите ќе се запознаат со основите на множества, исказна и предикатна
логика, техники за докажување и булова алгебра.