Элементы теории множеств.
Комбинаторика.
Элементы теории графов.
Логические исчисления.
Логика высказываний.