Курсот претставува вовед во основните математички концепти неопходни за
повисоките курсеви од компјутерски науки. Ќе се изучуваат напредни техники за
докажување, индукција рекурзија. Студентите треба да стекнат вештини за решавање
на комбинаторни задачи. Да се запознаат со основната терминологија и основите за
претставување на графови.