Раздел 1. Теория множеств  теоретический материал   
 
1  Основы теории множеств. Алгебра множеств Кантора  [ тест ]
2  Соответствия. Функции. Отображения  [ тест ]
3  Отношения. Реляционная алгебра  [ тест ]
4  Бинарные отношения. Отношения эквивалентности  [ тест ]
5  Упорядоченные множества. Бинарное отношение порядка  [ тест ]
6  Структуры. Модели. Алгебраические системы. Изоморфизм. Систематизация введённых понятий  [ тест ] 

Раздел 2. Комбинаторный анализ  теоретический материал    
7  Элементы комбинаторного анализа 
8  Формулы бинома и полинома 
9  Сочетания. Размещения 
10  Распределение объектов по ячейкам  

Раздел 3. Математическая логика  теоретический материал    
11  Элементы математической логики
12  Элементы логических схем. Схемотехническое представление булевых функций. Булевы функции от двух переменных 
13  Системы функций алгебры логики. Функциональная полнота 
14  Числовое и геометрическое представление функций алгебраической логики
15  Аппарат булевых производных 
16  Метод минимизирующих карт – карты Карно 
17  Метод Квайна-Мак-Класки 
18  Минимизация булевых функций: метод неопределенных коэффициентов для базиса И-ИЛИ-НЕ 
19  Метод существенных переменных 
20  Минимизация неполностью определенных функций с помощью граф-схем  

 

Раздел 4. Теория графов  теоретический материал    
 21  Основные понятия теории графов
22  Матрицы смежностей, инциденций и циклов. Эйлеровы и гамильтоновы графы 
23  Критерии определения эйлеровых графов. Алгоритм Флери. Методы определения гамильтоновых циклов 
24  Методы обнаружения отказов в соседствах взаимодействующих ячеек
25  Алгебраическая форма представления графа
26  Кубическая система представления графа 

Раздел 5. Оптимизационные алгоритмы теории графов  теоретический материал    
27  Задача коммивояжера: метод ветвей и границ. Общая модель задачи поиска 
28  Метод динамического программирования решения задачи коммивояжера 
29  Применение ориентированных деревьев в задачах теории кодирования и диагностирования
30  Кратчайшие пути из данной вершины s ко всем другим вершинам графа. Алгоритм Дейкстры 
31  Алгоритм построения остова наименьшей длины (алгоритм Краскала) 
32  Алгоритм Гильберта-Мура построения оптимального дерева бинарного поиска 
33  Сложность задач теории графов. Задача синтеза управляющих систем