1 семестр:
Понятие информации. Свойства информации. Измерение, кодирование и хранение информации. Логические основы компьютеров. Системы счисления. Информационные процессы и системы. Логика высказываний, логика предикатов. Строение математических теорем, схемы доказательств теорем, принцип дедукции. Значение математической логики для исследования математических теорий. Понятие аксиоматической теории и ее свойств. Исчисление высказываний. Исчисление предикатов
2 семестр:

Множества и операции над ними. Отношения. Свойства отношений. Отношение эквивалентности. Комбинаторика. Правило произведения. Число подмножеств конечного множества. Размещения. Сочетания. Перестановки с повторениями. Полиномиальная формула. Комбинаторные тождества. Формула включения-исключения и ее применения. Рекуррентные соотношения. Графы. Определения и примеры. Связность. Метрические характеристики. Гамильтоновы графы. Эйлеровы графы. Деревья. Хроматический многочлен графа. Укладки графов. Планарные графы. Формула Эйлера. Ориентированные графы. Нахождение кратчайших путей в орграфе. Потоки в сетях.