ВУЗ:
Составители:
Рубрика:
72
Тема 3. Полнота и замкнутость систем логических функций
Замкнутые классы. Класс логических функций,
сохраняющий константы 0 и 1. Определение и доказательство
замкнутости. Класс самодвойственных функций.
Определение и лемма о несамодвойственной функции. Класс
монотонных функций. Определение и лемма о немонотонной
функции. Класс линейных функций. Определение и лемма о
нелинейной функции.
Тема 4. Исчисление высказываний и
предикатов
Общие принципы построения формальной теории.
Интерпретация, общезначимость, противоречивость, логическое
следствие. Метод резолюций для исчисления высказываний.
Понятие предиката. Кванторы. Алфавит. Предваренная
нормальная форма. Алгоритм преобразования формул в
предваренную нормальную форму. Скулемовская стандартная
форма. Подстановка и унификация. Алгоритм унификации. Метод
резолюций в исчислении предикатов.
Темы лабораторных занятий
Тема 1. Алгебра логики
Решение примеров на прямое произведение множеств.
Задача на истинность соответствия. Поиск подалгебры в алгебре.
Суперпозиции и формулы. Решение задач на принцип
двойственности и правило двойственности. Нахождение
совершенной дизъюнктивной нормальной формы (СДНФ).
Нахождение совершенной конъюнктивной нормальной формы
(СКНФ). Разложение булевых функций по переменным.
Построение СДНФ для функции, заданной
таблично.
Тема 2. Минимизация булевых функций
Минимизация функций. Порождение простых импликантов.
Алгоритм Куайна и Мак-Клоски. Таблицы простых импликантов.
Тема 3. Полнота и замкнутость систем логических функций
Решение задач на доказательство замкнутости класса. Класс
самодвойственных функций. Решение задач с
Страницы
- « первая
- ‹ предыдущая
- …
- 70
- 71
- 72
- 73
- 74
- …
- следующая ›
- последняя »
