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

Узнать цену работы по вашей теме


Исчисление предикатов. Подстановка и унификация

Подстановкой называют конечное множество вида θ = {t1/x1; t2/x2;… tn/xn}, где ti – терм, xi – предметная переменная, отличная от ti. Выполнив подстановку по всем предметным переменным, можно получить новые формулы, которые допускают унификацию в смысле формирования контрарных пар, т. е. P(x)  P(x)Множество подстановок можно формировать последовательно, просматривая каждый раз только одну предметную переменную. Рассмотренный метод имеет наиболее общий характер унификации и играет важную роль в языке Пролог, так как обобщает механизм вызова процедур, используемых в обычных языках программирования. Обычно аргументы вызова процедуры – это выражения, которые подставляют вместо формальных параметров и могут быть только именами переменных. Однако в прологе разрешается, чтобы сами формальные параметры были термами, и потому процесс вызова “логической процедуры” включает совмещение термов, являющихся аргументами вызова, с термами из заголовка вызова процедуры с помощью метода унификации. Если унификация оканчивается неудачей из-за того, что никакая подстановка не сможет совместить нужные литеры, то вызова не произойдёт, но будет сделана попытка совмещения с другим определением процедуры, если такая имеется.


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

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

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

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

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