1. Исказна логика. Исказне формуле.

2.Основне операције исказне логике.

3.Таутологије и методе доказивања.

4.Квантификатори.

5.Предикатска логика.

6.Предикат, предикатске формуле и ваљане формуле.

7. Појам скупа.

8. Основне операције над скуповима.

9. Релације-дефиниције и особине релација.

10. Релације еквиваленције, класа еквиваленције и фактор скупа.

11. Релације поретка. Хасел дијаграм. Максимални, минимални, највећи и најмањи елемент скупа.

12. Легискографски низ пермутација и начини представљања пермутација.

13. Разлагање пермутација на циклусе. Циклуска структура пермутација. Пермутације са

успонима,падовима,инверзијама.

14. Пермутације са и без понављања.

15. Варијације и комбинације са и без понављања.

16. Дедуктивни метод закључивања.

17. Индуктивни метод закључивања.

18. Правила закључивања.

19. Математичка индукција.

20. Алгоритми и врсте алгоритама.

21. Особина алгоритама.

22. Математички дефинисан алгоритам. (Рекрузивна формула)

23. Кјурингова машина.

24. Черчова теза.

25. Графофи, основни појмови и дефиниција.

26. Врсте графова.

27. Представљање графова. (Листе суседства, матрице инциденције, матрице суседства)

28. Стабло, појам и дефиниција.

29. Врсте стабла.

30. Бинарна стабла претраге.

31. Алгоритми за проналажење најкраћег пута у графу. (Дијкстрин и фордо алгоритам)

32. Алгоритми за минимизацију разапињујућих стабала. (Примо и крускало алгоритам)

33. Разапињујуће стабло.