а) Множество. Операции над множествами. Диаграммы Эйлера-Венна.

б) Основные тождества алгебры множеств.

в) Отношения и функции.

г) Свойства бинарных отношений. Специальные бинарные отношения.

д) Алгебраические операции.

е) Высказывания. Логические связки.

ж) Формулы логики высказываний. Равносильность формул логики высказываний.

з) Нормальные и совершенные нормальные формы формул логики высказываний.

и) Булевы функции: основные понятия, способы задания БФ.

к) Построение МДНФ с использованием алгоритма Куайна.

л) Построение МДНФ с помощью минимизационной карты.

м) Функционально замкнутые классы булевых функций.

н) Теорема Поста.

о) Производная булевой функции первого порядка. Вес переменной.

п) Метод Вонга.

р) Метод резолюций.

с) Основные понятия, связанные с предикатами. Классификация предикатов.

т) Логические операции над предикатами.

у) Кванторные операции над предикатами.

ф) Интерпретация формул логики предикатов.

х) Классификация формул логики предикатов.

ц) Равносильность формул логики предикатов.

ч) Основные понятия теории графов. Смежность, инцидентность, степени.

ш) Матричное задание графов. Матрицы смежности, инцидентности.

щ) Маршруты, цепи, циклы. Связность. Компоненты связности.

ы) Поиск путей (маршрутов) с минимальным числом дуг (ребер).

э) Расстояния в графе. Диаметр, центр, радиус графа.

ю) Нахождение минимального пути в нагруженном графе.

я) Эйлеровы цепи и циклы.

аа) Гамильтоновы цепи и циклы.

бб) Определение и свойства деревьев.

вв) Остовное дерево связного графа.

гг) Минимальные остовные деревья нагруженных графов.

дд) Транспортные сети. Поток в транспортной сети.

ее) Алгоритм построения максимального потока в транспортной сети.