Множества.
Отображения и соответствия. Отношения.
Натуральные числа.
Логика высказываний.
Логика предикатов.
Формальные теории.
Алгоритмы и вычислимость.
Булевы функции.
Элементы теории кодирования.
Функции выбора и их логическая форма.
Элементы комбинаторики.
Биномиальная модель. Биномиальный ряд.
Производящие функции.
Рекуррентные последовательности.
Числа Фибоначчи.
Графы. Деревья. Доминирование.
Внутренняя и внешняя устойчивость в графах.
