- •1.Язык логики высказываний. Простые высказывания, сложные выск, лог связки. Роль связок в естественном языке.
- •2.Синтаксис языка логики высказываний: алфавит и правила построения формул. Семантика языка логики высказываний, интерпретация формул.
- •3.Свойства формул: общезначимость, выполнимость, противоречивость.
- •4.Основные схемы логически правильных рассуждений.
- •14. Бинарные функции алгебры логики.
- •12.Алгебра логики. Функции алгебры логики. K-значные логики.
- •13.Способы задания функций алгебры логики. Единичные и нулевые наборы функций алгебры логики. Фиктивные (несущественные) переменные.
- •15.Суперпозиции и формулы. Глубина формулы. Способы записи формул.
- •19.Разложение функций по переменным. Совершенная дизъюнктивная нормальная форма.
- •21Двойственность.
- •20. Днф, скнф, сднф, кнф. Приведение к кнф и днф.
- •25. Исчисление высказываний как формальная система, множественность аксиоматизаций. Проблема выводимости. Прямой вывод.
- •26.Теорема дедукции. Связь выводимости и истинности формул в логике высказываний. Выполнимые и общезначимые формулы.
- •27.Понятие логического следования, проблема дедукции. Принцип дедукции. Правило резолюций, метод резолюций. Стратегии метода резолюций.
- •31. Предикат. Предикаты и отношения. Предикаты и функции. Предикаты и высказывания.
- •32. Синтаксис языка логики предикатов: алфавит, термы, атомы, правила построения формул.
- •35. Множество истинности предикатов. Равносильность и следование предикатов.
- •27. Префиксная нормальная форма. Процедура получения префиксной нормальной формы.
- •40. Методы доказательства в логике предикатов.
- •41. Исчисление предикатов. Формальный вывод в исчислении предикатов. Правило переименования свободных переменных. Правило переименования связанных переменных.
- •42. Выводимость и истинность в логике предикатов. Эквивалентные преобразования.
- •43. Предваренная, сколемовская и клаузальная формы. Алгоритм получения клаузальной формы.
- •44. Метод резолюций в логике предикатов. Теорема Черча.
- •45. Принцип логического программирования.
- •46. Применение логики предикатов в логико-математической практике.
- •47. Классификация высказываний по Аристотелю
- •48. Методы рассуждений. Аристотелева силлогистика. Теоретико-множественная интерпретация аристотелевой силлогистики
- •49. Принцип полной дизъюнкции в предикатной форме
- •50 Метод (полной) математической индукции
- •51. Необходимые и достаточные условия
- •53. Вывод и выводимость в формальной теории. Разрешимые и неразрешимые формулы. Доказательство и доказуемость. Теорема формальной теории.
- •54. Основные свойства формальных систем: непротиворечивость, полнота, разрешимость. Полнота и непротиворечивость исчисления высказываний. Полнота и непротиворечивость исчисления предикатов.
- •55. Прикладные исчисления предикатов. Формальная арифметика. Теорема Генцена о непротиворечивости формальной арифметики.
- •56. Теоремы о неполноте формальных систем, смысл и значение теорем Геделя для практической информатики.
- •57 Неклассические логики.
- •58. Интуиционистская логика.
- •59. Нечеткая логика.
- •61. Временные логики. Приложение временных логик к программированию.
- •63. Многозначные логики. Трёхзначная логика я. Лукасевича. M-значная логика э. Поста.
- •64. Предпосылки возникновения теории алгоритмов. Основные требования к алгоритмам. Подходы к уточнению понятия «алгоритм». Три основных типа универсальных алгоритмических моделей.
- •65.Машина Тьюринга. Конфигурация машины Тьюринга. Функция, правильно вычислимая по Тьюрингу. Эквивалентные машины Тьюринга. Композиция машин Тьюринга.
- •66. Вычисление предикатов на машине Тьюринга.
- •67. Универсальная машина Тьюринга. План построения универсальной машины Тьюринга.
- •68. Тезис Тьюринга
- •69.Проблема остановки как пример алгоритмически неразрешимых проблем.
- •70. Машина Поста.
- •71. Рекурсивные функции. Примитивно-рекурсивные функции. Примитивно-рекурсивные операторы. Частично-рекурсивные функции. Тезис Черча.
- •73. Вычислимость и разрешимость. Нумерация алгоритмов. Алгоритмически разрешимые и неразрешимые задачи. Проблема остановки, проблема самоприменимости, проблема пустой ленты.
- •74. Требование результативности и теория алгоритмов.
- •75. Разрешимые и перечислимые множества. Связь между разрешимостью и перечислимостью множеств. Теорема Райса.
- •63. Сложность алгоритмов. Меры сложности алгоритмов. Сложность задачи. Массовые и индивидуальные задачи.
- •81.Полиномиальный алгоритм. Легко- и трудноразрешимые задачи, классы задач p и np.
- •70. Недетерминированная машина Тьюринга (нмт).
- •82 Полиномиальная сводимость и np-полнота. Np-полные задачи. Примеры np-полных задач. Теорема Кука. Примеры практически значимых np-полных задач.
- •72. Теория формальных грамматик. Формальные порождающие грамматики. Язык, порождаемый грамматикой.
- •73. Классификация грамматик и порождаемых ими языков.
- •74.Неукорачивающие грамматики и разрешимость языка.
- •75.Метаязык Бэкуса.
- •76. Контекстно-свободные грамматики. Приведение контекстно-свободных грамматик.
- •77.Алгоритмические проблемы для грамматик.
- •78.Алгоритмические проблемы для контекстно-свободных грамматик.
- •82. Частичные автоматы и их минимизация.
- •83.Интерпретация автоматов. Основные проблемы абстрактной теории автоматов.
- •84.Автоматы Мура. Событие. Представление событий в автоматах.
- •59. Рекурсивные функции. Примитивно-рекурсивные функции. Примитивно-рекурсивные операторы. Частично-рекурсивные функции. Тезис Черча.
- •5Основные тавтологии, выражающие свойства логических операций.
- •62.Алгоритмические логики. Принципы построения алгоритмической логики. Алгоритмическая логика Хоара.
- •64.Асимптотическая сложность, порядок сложности. Сложность в среднем и в худшем случае.
- •78.Трудоемкость алгоритмов. Классификация алгоритмов по виду функции трудоёмкости
- •85. Автономные автоматы.
- •86. Класс множеств, представимых конечными автоматами.
- •Синтаксис языка логики высказываний: алфавит и правила построения формул. Семантика языка логики высказываний, интерпретация формул.
- •6Основные правила получения тавтологий.
- •7Логическая равносильность формул. Алгоритм проверки логической равносильности формул. Свойства отношения равносильности на множестве формул. Равносильные преобразования.
- •8Логическое следование формул. Логические следствия и посылки. Алгоритм проверки формул на логическое следование. Признаки логического следствия. Два свойства логического следования.
- •9Следование и равносильность формул.
- •17Полнота и замкнутость системы функций. Функционально полные базисы. Классы Поста. Теорема Поста о полноте системы булевых функций.
- •18Булева алгебра логических операций. Основные эквивалентные соотношения (законы) в булевой алгебре.
- •29Алгоритм построения резолюций для множества фраз Хорна.
- •33Кванторные операции. Свободные и связанные вхождения переменных. Логический квадрат.
- •34Численные кванторы. Ограниченные кванторы.
- •37Приведенная нормальная форма. Процедура получения приведенной нормальной формы.
- •38Предваренная нормальная форма. Процедура получения предваренной нормальной формы.
- •39Проблема разрешимости для общезначимости и выполнимости формул логики предикатов. Теорема Черча. Частные случаи.
- •72Нормальные алгорифмы Маркова. Нормально вычислимые функции и принцип нормализации Маркова.
- •76Сложность алгоритмов. Меры сложности алгоритмов. Сложность задачи. Массовые и индивидуальные задачи.
- •77Асимптотическая сложность, порядок сложности. Сложность в среднем и в худшем случае.
- •79Методики перехода к временным оценкам трудоёмкости алгоритмов. Пооперационный анализ. Метод Гиббсона. Метод прямого определения среднего времени.
- •1) Пооперационный анализ
- •2) Метод Гиббсона
- •3) Метод прямого определения среднего времени
- •80Сложность и кодирование. Сложность и архитектура машины.
19.Разложение функций по переменным. Совершенная дизъюнктивная нормальная форма.
ДНФ – запись формулы алгебры логики в виде дизъюнкции элементарных конъюнкций (сумма произведений). Элементарная конъюнкция – произведение переменных и их отрицаний. (ху или ØхØу).
СДНФ – такая ДНФ, в которой каждая элементарная конъюнкция является совершенной.
Совершенная элементарная конъюнкция включает полный набор переменных и их отрицаний.
Если СДНФ существует , то она единственная.
Пример из тетради
(используем единичные наборы для составления)
Для константы 0 не существует СДНФ, зато существует ДНФ (хØх)
21Двойственность.
Функция f1(x1,…, xn) называется двойственной к функции f2(x1,…, xn), если.
Отношение двойственности между функциями симметрично. Из определения двойственности ясно, что для любой функции двойственная функция определяется однозначно. В частности, может оказаться, что функция двойственна самой себе. В этом случае она называется самодвойственной.
Примеры: дизъюнкция двойственна конъюнкции; константа 1 двойственна 0;отрицание самодвойственно;
20. Днф, скнф, сднф, кнф. Приведение к кнф и днф.
ДНФ – запись формулы алгебры логики в виде дизъюнкции элементарных конъюнкций (сумма произведений). Элементарная конъюнкция – произведение переменных и их отрицаний. (ху или НЕ х * НЕ у).
СДНФ – такая ДНФ, в которой каждая элементарная конъюнкция является совершенной.
Совершенная элементарная конъюнкция включает полный набор переменных и их отрицаний.
КНФ – запись логической функции в виде конъюнкции элементарных дизъюнкций (произведение сумм)
Элем дизъюнкция – дизъюнкция переменных или их отрицания.
СКНФ – такая КНФ, в которой каждая элемент дизъюнкция явл совершенной.
Пример из тетради
(используем нулевые наборы для составления)
Для константы 1 не существует СКНФ, но существует КНФ (хÙØх)
Процедура приведения к ДНФ: 1)Все отрицания спустить до переменных с помощью 8 и 5. 2)Раскрыть скобки с помощью 1 и 3. 3) Удалить лишние конъюнкции и повторения переменных с помощью 4, 9, 10. 4) Удалить константы с помощью 6 и 7. Процедура приведения ДНФ к СДНФ состоит в расщеплении (обратном склеивании) конъюнкций, которые содержат не все переменные.
Переход от КНФ к ДНФ и обратно всегда осуществим (обычно, с помощью формул Де Моргана).
16. Эквивалентные формулы. Способы установления эквивалентности формул.
Формулы, представляющие одну и ту же функцию, называют эквивалентными или равносильными.
Стандартный метод установления эквивалентности: 1) по каждой формуле восстанавливается таблица истинности функции, а затем 2) полученные таблицы сопоставляются по каждому набору значений переменных
22. Алгебра Вебба, алгебра Шеффера, импликативная алгебра, коимпликативная алгебра, алгебра Жегалкина.
-
алгебра Вебба A = áMño ,;
-
алгебра Шеффера A = áM, ñ½;
-
импликативная алгебра A = áM,® , 0ñ;
-
коимпликативная алгебра A = áM,® , 1ñ;
-
алгебра Жегалкина A = áM, &, ,Å 1ñ.
– - Трехзначная функция — функция Вебба.
Конечнозначная алгебра Вебба
24. Конечнозначные логики. Алгебра Вебба, алгебра Поста, алгебра Россера–Тьюкетта.
Функция , отображающая n-мерный k-значный кортеж
в множество {0, 1, ..., k – 1}, называется функцией k-значной логики. Будем задавать функцию k-значной логики с помощью таблицы истинности (одномерной таблицы), число строк которой равно kn, или двумерной таблицы, число клеток которой равно k2.
23.Полиномы Жегалкина. Процедура приведения к ПНФ.
Определение. Алгебра над множеством логических функций с двумя бинарными операциями называется алгеброй Жегалкина.
Замечание. Операция вполне аналогична операции конъюнкции (логического умножения). Однако операция имеет совершенно другой математический смысл, чем дизъюнкция (соответствующая функция ранее была названа неравнозначностью). Поэтому никак нельзя считать алгебру Жегалкина иной формой записи булевой алгебры.
В алгебре Жегалкина выполняются следующие соотношения (знак умножения опущен):
1.1. ,
1.2. ,
1.3 ,
1.4 .
Кроме того, выполняются соотношения, ранее сформулированные булевой алгебры, относящиеся к конъюнкции и константам. Отрицание и дизъюнкция выражаются так:
1.5 ,
1.6 .
Если в произвольной формуле алгебры Жегалкина раскрыть скобки и произвести все упрощения по вышеуказанным соотношениям, то получится формула, имеющая вид Суммы произведений, то есть полином (многочлен) по модулю 2. Такая формула называется полиномом Жегалкина для данной функции:P =xx2 + ...nxn +n +1xx2 +...+n +C2nxn-1xn + ...+2n-1xx2..xn( + означает сложение по модулю 2, коэффициенты , n-1 являются константами (равными нулю или единице).
От булевой формулы всегда можно перейти к формуле алгебры Жегалкина, используя равенства 1.5 и 1.6, а также прямое следствие из равенства 1.6: если , то . Оно, в частности, позволяет заменять знак дизъюнкции знаком в случаях, когда исходная формула представляет собой СДНФ.
Пример:
Теорема. Любая функция п переменных может быть представлена полиномом Жегалкина и это представление единственно.
Доказательство. Любая функция f(x1, x2, …, xn) имеет свою таблицу истинности. Запишем сначала данную функцию в виде полинома Жегалкина с неопределенными коэффициентами. Затем по очереди подставляем всевозможные наборы переменных и находим коэффициенты. Легко видеть, что за каждую подстановку находим только один коэффициент. Так как число наборов равно числу коэффициентов (и равно 2п), отсюда следует утверждение теоремы.
Доказательство этой теоремы показывает, как по таблице истинности построить полином Жегалкина.
Имеется 2-й способ нахождения полинома Жегалкина для функций, заданных в виде ДНФ. Этот способ основан на 1.5. Если функция задана в виде ДНФ, то сначала убираем дизъюнкцию, используя при этом правило де Моргана, а все отрицания заменяем прибавлением единицы. После этого раскрываем скобки по обычным правилам, при этом учитываем, что четное число одинаковых слагаемых равно нулю (из-за 1.3), а нечетное число одинаковых слагаемых равно одному такому слагаемому.