<<  Унификация Явность  >>
Унификация

Унификация. Условие, что t = f(t) в последнем правиле гарантирует, что оно не пересекается с правилом для x t. Условие, что x FV(t) необходимо потому, что, например, два выражения x и f(x) не имеют унификатора: неважно, что подстановка f(x)? всегда имеет на одно появление f больше, чем x?, и поэтому они не могут быть равными. Другая ситуация, когда унификация терпит неудачу – это уравнение в форме f(t) = g(s) для f ? g, и две последовательности выражений имеют разную длину. Последнее может случиться, если функции имеют разную арность, и в таком случае неудача унификации это корректный результат. 41.

Слайд 41 из презентации «Логическое программирование»

Размеры: 720 х 540 пикселей, формат: .jpg. Чтобы бесплатно скачать слайд для использования на уроке, щёлкните на изображении правой кнопкой мышки и нажмите «Сохранить изображение как...». Скачать всю презентацию «Логическое программирование.ppt» можно в zip-архиве размером 227 КБ.

Похожие презентации

краткое содержание других презентаций на тему слайда

«Логические таблицы истинности» - Заполнить таблицу истинности по столбцам. Для составления таблицы необходимо: Как правильно составить и использовать? Выяснить количество столбцов = количество переменных + количество логических операций. Таблица истинности сложного логического выражения. Таблицы истинности. Установить последовательность выполнения логических операций.

«Упростить логическое выражение» - Пример 2. Упростить логическое выражение: По закону исключенного третьего В v ¬В = 1, следовательно А ^ (В v ¬B) = А ^ 1 = А. Логические законы и правила преобразования логических выражений. Упростите логические выражения с учетом правильной последовательности выполнения логических операций: а)(A v ¬A) ^ B б) A ^ (A v B) ^ (C v ¬B) в) A v ¬A ^ B г)A ^ B v A^ ¬ B д)(A v B ) ^ (A v ¬ B) е)A ^ ¬B v B ^ C v ¬A ^ ¬B.

«Таблица истинности» - Решение: (90 < X2) ? (X < (X – 1)) = 1 Из таблицы истинности импликации 1? 1 = 1 0 ? 1 = 1 0 ? 0 = 1. Проверка. (50<X2)?(50>(X+1)2) при x= 7 (50<72)?(50>(7+1)2) (50<49)?(50>64) истина при x= -8 (50<(-8)2)?(50>(-8+1)2) (50<64)?(50>49) истина. ЕГЭ по информатике. Решение: (90 < X2) ? (X < (X – 1)) = 1.

«Логика высказываний» - Идею о возможности математизации логики высказал ещё в ХVII в. немецкий логик Готфрид Вильгельм Лейбниц. Определите, какие из следующих фраз являются высказываниями с точки зрения алгебры логики. Данная фраза является парадоксаль-ным утверждением. Будем обозначать высказывания прописными буквами. Подлинный прогресс науки, называемой математической логикой, был достигнут в середине XIX в. прежде всего благодаря труду английского логика Джорджа Буля «Математический анализ логики».

«Правила преобразования логических выражений» - Решение логического уравнения. Упростить логическое выражение (A & В) v (A & В). (A & В) v (A & В) = А & (B v B) = A & 1 = A. По закону исключения третьего. Преобразование логического выражения. Найти значение логической переменной Х из логического уравнения Х v A v X v A = В. (Х v A) v (X v A) = В (Х & A) v (X & A) = В Х & (A v A) = В Х & 1 = В Х = В Х = В.

«Логические высказывания» - Пример 1. Логическое отрицание (инверсия). Решение задач Конспект стр.92 (импликация, эквиваленция). Присоединение частицы «НЕ» к высказыванию называется операцией логического отрицания или инверсией. Анализ и проектирование логических схем опираются на законы алгебры логики. Сложных суждений. АЛГЕБРА ВЫСКАЗЫВАНИЙ (алгебра логики).

Алгебра логики

19 презентаций об алгебре логики
Урок

Алгебра

35 тем