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