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

Композиция подстановок. Общее решение состоит в композиции этих двух подстановок. Мы записываем это как ??. Главное свойство, которое нам нужно: для любого t имеем (t?)?=t(??). Чтобы это свойство могло поддерживать наши общие допущения о подстановках, мы специфицируем предусловие, что dom(?)?dom(?) = ?. Мы определяем композицию как подстановки слева направо, пока не встретим пустую подстановку (.). (t/x, ?) ? = t?/x, ?? (.) = ? 34.

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

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

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

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

«Законы алгебры логики» - Закон поглощения. — Для логического сложения: Логические законы и правила преобразования логических выражений. Закон исключения (склеивания). — Для логического сложения: (A + B)*C = (A*C) + (B*C) — для логического умножения: A*B + C = (A + C)*(B+ C). Закон тождества: всякое высказывание тождественно самому себе.

«Логика высказываний» - Например: Х=Число 12 кратно 3. Р=Город Париж-столица Франции. Определите значение высказывания (истина или ложь): 1)Без труда не выловишь и рыбку из пруда. 2)Как хорошо быть генералом! 3)Революция может быть мирной и немирной. Идею о возможности математизации логики высказал ещё в ХVII в. немецкий логик Готфрид Вильгельм Лейбниц.

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

«Логические высказывания» - Алгебра высказываний. Представление. ПОВТОРЕНИЕ Рассмотренные ранее понятия: ЛОГИКА ФОРМЫ МЫШЛЕНИЯ ЗНАЧЕНИЯ ВЫСКАЗЫВАНИЙ. Основные логические операции. Анализ и проектирование логических схем опираются на законы алгебры логики. Логические методы применяются и при работе с базами данных. Таблица истинности функции логического отрицания.

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

«Логическое умножение, сложение и отрицание» - Компьютерный практикум. Результатом операции логического отрицания является «истина». Простые высказывания в алгебре логики. Логическое умножение (конъюнкция). Результатом операции логического сложения является «ложь». Логическое отрицание (инверсия). Истина. Логическое сложение (дизъюнкция). Какие значения даёт логическая операция.

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

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

Алгебра

35 тем