<<  Функциональное и логическое программирование Источники (основные)  >>
Источники (основные)

Источники (основные). Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. - СПб.: БХВ-Петербург, 2003. - 992 С. Братко И. Алгоритмы искусственного интеллекта на языке Prolog. – М. : Вильямс , 2004. – 637 с. Городняя Л.В. Основы функционального программирования. – М. : ИНТУИТ.РУ , 2004. – 272 с. Ин Ц., Соломон Д. Использование Турбо-Пролога. - М.: Мир, 1993. - 608 С. Непейвода Н.Н. Стили и методы программирования. – М.: Интернет-университет информационных технологий, 2005. – 316 с.

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

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

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

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

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

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

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

«Логические функции» - Здесь для первых двух скобок применена формула склеивания. Логические функции двух переменных. Функция: F= x1 и x2 F= x1 ? x2 F= x1 ? x2 F= x1 & x2. В ответе запишите только первую букву имени. Элемент И имеет не менее двух входов и один выход. В каждой из двух аудиторий может находиться либо каб.

«Правила преобразования логических выражений» - Законы логики. Правило коммутативности А & В = В & А А 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). Правила преобразования.

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

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

Алгебра

35 тем