<<  Основные понятия на сегодня Унификация и поиск доказательств  >>
Логическое программирование
Логическое программирование. Унификация. 25.

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

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

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

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

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

«Логические задачи» - Кто за какой класс играл? У кого какой был мячик? Разбирается дело Брауна, Джонса и Смита. Решение: Задача «На конкурсе». У Берри – синего и белого цветов. Учитель химии старше учителя истории. Логические задачи. Пара имен осталась женских, следовательно Шевченко и Бойченко – девушки. В каком городе живет каждый из ребят?

«Логическое мышление» - Пять рыбаков за 5 часов распотрошили 5 судаков. Логические задачи. Направление игры. Сколько роз в каждом букете? В первом и во втором вместе 8 роз, а во втором и в третьем вместе 12 роз. Мышление. В трех букетах всего 15 роз. За сколько часов 100 рыбаков распотрошат 100 судаков? Виды мышления. Логическое мышление.

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

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

«Операция в программировании» - Задача о читателях и писателях (1). Несколько потоков обращаются к общему ресурсу. Обмен сообщениями (2). Атомарная операция. Решение задачи доступа к ресурсу. Основные операции. Виды атомарных операций. Решение классических задач параллельного программирования. Поиск максимума (2). Поиск максимума (1).

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

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

Алгебра

35 тем