<<  Унификация и поиск доказательств Подстановки  >>
Подстановки

Подстановки. Подстановки ? ::= t1/x1,…,tn/xn Мы постулируем, что все xi уникальны. Порядок следования пар в постановках безразличен, и мы считаем перестановки подстановок равными. Мы обозначаем доменом (domain) от ? dom(?)={ x1,…,xn}. Похожим образом мы называем множество переменных, встречающихся в выражении подстановки ti, со-доменом (со-domain) в виде . 31.

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

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

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

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

«Логические операции» - И – логическое умножение, ИЛИ – логическое сложение, НЕ – логическое отрицание. Полученное сложное высказывание – логическая сумма (дизъюнкция). Число строк делится на 4 части. Эквивалентность. Таблица истинности. Составление таблицы истинности для сложного высказывания. (Например: ?А·(В + С).) Правило:

«Законы логики» - Воспользуемся распределительным законом: Х ? ( Y V Z ) = X ? Y V X ? Z (или вынесем общий множитель за скобку). I. Упростите логические выражения: F = Av (?A&B). Избавимся от импликации и отрицания. О. Моргана. Предложите возможные варианты расписания. Переставим местами слагаемые, сгруппируем и вынесем В за скобки.

«Понятие логического высказывания» - Найти множество значений. Дизъюнкция. Конъюнкция. Умозаключение. Два простых высказывания. Логическая переменная. Записать в виде логического выражения следующее высказывание. Алгебра – это наука об общих операциях. Логика – это наука о формах и способах мышления. Основные определения. Дж. Буль. Запишите следующие высказывания в виде логических выражений.

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

«История алгебры логики» - Основной Закон Буля. Джордж Буль. Вильгельм Лейбниц (1646-1716). История науки алгебры логики. Содержание. Булева алгебра. Высказывание – это форма мышления. Определение формы. Понятие. Умозаключение. Логика– это наука о формах и способах мышления. Аристотель. Формы мышления. Вопросы.

«Булевы функции» - Построить таблицу истинности. Функции равны. Формула содержит функции. Значение двоичного кода. Функция. Булевы функции и алгебра логики. Эквивалентные формулы. Двойственность булевых функций. Прочтение. Способы задания булевых функций. Идемпотентность конъюнкции и дизъюнкции. Правило получения двойственных формул.

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

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

Алгебра

35 тем