Введение

Модуль 1. Теория множеств

1.1 Задание множеств

1.2 Алгебры

1.3 Суперпозиция функций

1.4 Бинарные отношения

1.5 Отношение эквивалентности

1.6 Отношение порядка

1.7 Операции на множестве

1.8 Свойства бинарных операций

1.9 Комбинаторика

1.9.1 Основные комбинаторные конфигурации

1.9.2 Формулы пересчёта числа комбинаторных конфигураций

1.9.3 Перечисление перестановок

1.9.4 Приложения к теории вероятностей

1.10 Примеры решения задач

Модуль 2. Булевы функции

2.1 Представление логических функций

2.2 Логические формулы. Булева алгебра

2.3 Совершенные нормальные формы

2.4 Минимизация СДНФ

2.4.1 Карты Карно

2.4.2 Метод Квайна-Мак'Класки

2.4.3 Системы функций алгебры логики

2.5 Замкнутые классы булевых функций

2.6 Критерий полноты системы булевых функций

2.7 Примеры решения задач

Модуль 3. Графы

3.1 Неориентированные и ориентированные графы

3.2 Унарные и бинарные операции над графами

3.3 Цепи, циклы, связность

3.4 Деревья

3.5 Игра двух лиц с окрытой информацией

3.6 Эйлеровы графы. Цикломатическое число

3.7 Двухполюсные сети. Потоки в сетях

3.8 Кратчайшие пути в сетях

3.9 Раскраска графов

3.10 Примеры решения задач

РГЗ

Словарь

Контрольные вопросы по курсу

Итоговый тест

Список литературы

Авторы