Двузначная логика ………………………………………………5
. Функции алгебры логики . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5
. Суперпозиция и формулы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . …10
. Булева алгебра . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
. Алгебра Жегалкина . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...16
. Нормальные формы логических функций. . . . . . . . . . . . . . . . . . . . . . . . . .….20
. Минимизация функций . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...26
. Полнота и замкнутость . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . …..28
К- значная логика……………………………………………….. 38
. Элементарные функции . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . …38
. Основные свойства элементарных функций . . . ... . . . . . . . . . . . . . . . ..40
. Основные формы функций . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...45
. Представление функций полиномами . . . . . . . .. . . . . . . . . . . . . . . . . …47
- Двузначная логика ………………………………………………5
- 2.5. Полнота и замкнутость……. ……………………………………….........50
- Комбинаторика…………………………………………………….87
- 1. Двузначная логика
- 1.1. Функции алгебры логики
- 1.2. Суперпозиция и формулы алгебры логики
- 1.3. Булева алгебра
- 1.4. Алгебра Жегалкина
- Нормальные формы логических функций
- Приведение логической формулы к днф
- Приведение днф функции к кнф
- Приведение кнф функции к днф
- 1.6. Минимизация функций
- 1.7. Полнота и замкнутость
- Закон двойственности
- 2.1. Элементарные функции
- 2.2. Основные свойства элементарных функций
- 2.3. Основные формы функций k – значных логик
- 2.4. Представление функций полиномами
- 2.5. Полнота и замкнутость
- 3. Элементы теории графов
- 3.1. Способы задания графов
- 3.2. Изоморфизм. Плоские графы. Реализуемость в r
- 3.3. Пути. Цепи. Циклы. Расстояния
- 3.4. Подграфы. Связность
- 3.5. Поиск путей в графах и минимальных путей в орграфах
- 3.6. Деревья и леса
- 3.7. Взвешенные графы
- Алгоритм Форда-Белмана.
- 4. Комбинаторика
- 4.1. Мощность множества. Правила суммы, произведения, степени
- 4.2. Размещения. Перестановки. Сочетания
- 4.3. Производящие функции