<<  Подстановки Композиция подстановок  >>
Подстановки

Подстановки. Применение подстановки ? к выражению t можно достаточно просто определить композиционно: x? = t если t/x в ? y? = y если f(t1,…,tn) ? = f(t1 ?,…,tn ?). 33.

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

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

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

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

«Алгебра логики» - Импликация. Число. Объем понятия. Умозаключение. Логическое равенство. Появление математической, или символической, логики. Инверсия. Понятие. Логическое сложение. Логическое умножение. Алгебра высказываний. Упражнения. Логические переменные. Логическое следование. Конъюнкция. Постройте отрицания. Высказывание.

«Логические функции» - F=A ^ B= {кит, акула, дельфин}. Определите, в каком порядке необходимо вычислять значение логического выражения: 1) ¬ А & ¬ B 2) A & (B & C) 3) (A & B) ? (C & ¬ D) 4) A ? ¬ D ? B 5) A ? (B ? ¬ A). Задание. Равносильные логические выражения. Вопросы для размышления. Если на траве роса, то скоро настанет вечер.

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

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

«Таблица истинности» - Решение: (50<X2)?(50>(X+1)2) = 1 Из таблицы истинности импликации (X2>50) = 1 (X+1)2 < 50 = 1 x<-?50 или x>?50 -?50< (x+1) <?50 (-?; -7) U(7;+?) [-8; 6) [-8; -7) (X2>50) = 0 (X+1)2 < 50 = 1 [-7; 7] [-8; 6) [-7; 6). 6. Андрей живет рядом с Учителем. 4. Врач живет рядом с Парикмахером.

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

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

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

Алгебра

35 тем