Шпаргалка по предмету "Математическая логика"


Исчисление предикатов. Расширение принципа резолюции (линейность и упорядоченность литер в дизъюнкте).

см. вопрос 18, 10Линейная резолюция может быть существенно усилена в исчислении предикатов введением понятия упорядоченного дизъюнкта и использование информации о резольвированных литерах. Идея метода заключается в рассмотрении дизъюнкта как последовательности литер, а не множества их. Отсюда упорядоченным дизъюнктом будем называть дизъюнкт с определённой последовательностью литер. При наличии в упорядоченном дизъюнкте двух одинаковых литер следует удалить старшую литеру, сохранив самую младшую. Другим усилением линейной резолюции является использование информации о резольвироваемых литерах. Обычно при выполнении процедуры резольвирования происходит удаление резольвируемых литер. Однако, оказывается, что –эти литеры несут полезную информацию, которая может быть использована для усиления линейной резолюции. Вместо удаления резольвируемых литер предлагается обрамлять их квадратом. Если за обрамлённой литерой в упорядоченном дизъюнкте не следует никакая другая литера, то её можно удалить. И наоборот, если за обрамлённой литерой в упорядоченном дизъюнкте следует никакая-либо литера, то её следует оставить для последующего использования. Используя резольвенты центрального стержня на предыдущих этапах резольвирования для сравнения с необрамлённой литерой в качестве боковых ветвей, можно получить все литеры упорядоченного дизъюнкта обрамлёнными квадратами. В этом случае можно удалить весь дизъюнкт.


Не сдавайте скачаную работу преподавателю!
С помощью нашего сервиса Вы можете собрать свою коллекцию шпаргалок по нужному предмету, и распечатать готовые ответы в удобном для вырезания виде. Для этого начните собирать ответы, добавляя в "Мои шпаргалки".

Поделись с друзьями, за репост + 100 мильонов к студенческой карме :

Делаем шпаргалки правильно:
! Шпаргалки для экзаменов Какие бывают шпаргалки, как их лучше подготовить и что писать.
! Делаем правильную шпаргалку Что представляет собой удобная и практичная шпаргалка, как ее сделать.
! Как воспользоваться шпаргалкой В какой момент лучше достать шпаргалку, как ей воспользоваться и что необходимо учесть.

Читайте также:
Сдаем экзамены Что представляет собой экзамен, как он проходит.
Экзамен в виде тестирования Каким образом проходит тестирование, в чем заключается его суть.
Готовимся к экзаменам Как правильно настроиться, когда следует прекратить подготовку и чем заниматься в последние часы.
Боремся с волнением Как преодолеть волнение, как внушить себе уверенность.
Отвечаем на экзамене Как лучше отвечать и каким идти к преподавателю.
Не готов к экзамену Что делать если не успел как следует подготовиться.
Пересдача экзамена На какое время назначается пересдача, каким образом она проходит.
Микронаушники Что такое микронаушник или "Профессор .. ллопух ...".

Виды дипломных работ:
выпускная работа бакалавра Требование к выпускной работе бакалавра. Как правило сдается на 4 курсе института.
магистерская диссертация Требования к магистерским диссертациям. Как правило сдается на 5,6 курсе обучения.