<<  Источники (основные) Интернет-ресурсы  >>
Источники (дополнительные)

Источники (дополнительные). Доорс Дж., Рейблейн А.Р., Вадера С. Пролог язык программирования будущего. - М.: ФиС, 1990. - 144 С. Клоксин У., Меллиш Д. Программирование на языке Пролог. - М.: Мир, 1987. - 336 С. Маурер У. Введение в программирование на языке ЛИСП. - М.: Мир, 1978. - 104 С. Полещук Н., Лоскутов П. AutoLISP и Visual LISP в среде AutoCAD. - СПб.: БХВ-Петербург, 2006. - 960 С. Стобо Дж. Язык программирования Пролог. - М.: Мир, 1993. - 368 С. Хендерсон П. Функциональное программирование: применение и реализация. М.: Мир, 1983. - 349 С. Янсон А. Турбо-Пролог в сжатом изложении. - М.: Мир, 1991. - 94 С.

Слайд 13 из презентации «Функциональное и логическое программирование»

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

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

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

«Законы алгебры логики» - 6. Закон идемпотентности. 1. Закон двойного отрицания. Закон поглощения. — Для логического сложения: А=А Закон непротиворечия: высказывание не может быть одновременно истинным и ложным. — Для логического сложения: A + (A* B) = A; Докажите справедливость второго закона Моргана , используя таблицы истинности.

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

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

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

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

«Алгебра высказываний» - Если А и В – формулы, то «не А», «А и В», «А или В», «если А, то В», «тогда и только тогда А, когда В» - формулы. 2) В гуманитарных науках (логика, криминалистика). Простые высказывания будем называть логическими переменными, а сложные логическими функциями. Рекомендовал в логике использовать математические методы.

Всего в теме «Алгебра логики» 19 презентаций
Урок

Алгебра

35 тем