<<  Функциональное и логическое программирование Функциональное и логическое программирование  >>
Современное состояние ФП
Современное состояние ФП.

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

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

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

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

«Законы алгебры логики» - Логические законы и правила преобразования логических выражений. 9. Закон исключения третьего. — для логического сложения: А + B = B + A — для логического умножения: A*B = B*A. 6. Закон идемпотентности. Закон тождества: всякое высказывание тождественно самому себе. Законы Моргана: А +В=А * В А * В=А + В.

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

«Логические высказывания» - Основные логические операции. Решение задач Конспект стр.92 (импликация, эквиваленция). Даны два простых высказывания: А = {2 * 2 = 4}, В = {2 * 2 = 5}. Какие из составных высказываний истинны: а) ?; б) не B; в) А & В; г) A V В. Основным объектом в логике является высказывание. Выделите в составных высказываниях простые.

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

«Законы логики» - Законы и правила математической логики. Задание 2. Упростите логическое выражение _______________ _____ F= (A v B)? (B v C). Переставим местами слагаемые, сгруппируем и вынесем В за скобки. Учился в Тринити-колледж (в Кембридже). Воспользуемся (¬(A?B)=A& ¬ B). Применим закон двойного отрицания, получим: (A v В) & ¬(¬(В v С)) = (A v В) & (B v С).

«Логические законы» - Невозможно, чтобы противоречащие высказывания были одновременно истинными. Для логического сложения: Для логического умножения: Закон двойного отрицания. Переместительный (коммутативный) закон. Закон поглощения. Закон противоречия. Закон общей инверсии ( законы де Моргана). Сочетательный (ассоциативный) закон.

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

Алгебра

35 тем