Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Ekzamen_matlog_vse_otvety.doc
X
- •Формулы алгебры высказываний. Эквивалентность формул. Приведенные формулы, двойственности. Закон двойственности.
- •Булевы функции. Теорема с разложением Булевых функций. Представление Булевых функций нормальными формами.
- •Нормальные формы
- •Полнота систем логических операций и функций. Алгебра и полином Жегалкина. Теорема Поста.
- •Предикаты. Операции с предикатами. Формулы алгебры предикатов. Допустимые модели. Приведенные нф.
- •Понятия логического исчисления и выводимости формул. Исчисления высказываний ив.
- •Исчисления предикатов. Автоматическое доказательство теорем методом резолюций.
- •Формальные определения алгоритма в терминах машины Тьюринга.
- •Формальное определение алгоритма через рекурсивные функции (примитивно рекурсивные и частично рекурсивные).
- •Полиномиальная сводимость языков и задач. Np полные задачи. Детерминированные и не детерминированные машины класса p и pn. Теорема Кука.
Формальное определение алгоритма через рекурсивные функции (примитивно рекурсивные и частично рекурсивные).
Полиномиальная сводимость языков и задач. Np полные задачи. Детерминированные и не детерминированные машины класса p и pn. Теорема Кука.
P задачи – класс задач, которые возможно решить на детерминированной машине Тьюринга за полиномиальное время.
NP задачи – класс задач, которые возможно решить на недетерминированной машине Тьюринга за полиномиальное время. Задача называется NP-полной, если она принадлежит классу NP и любая другая задача из NP сводится к ней за полиномиальное время.
Теорема Кука — Левина (также просто теорема Кука) утверждает, что задача о выполнимости булевой формулы в КНФ является NP-полной.
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]