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

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

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

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

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

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

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

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

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

«Таблица истинности» - Пример 1. Для какого из указанных значений X истинно высказывание ¬ ((X >2) ? (X>3))? 1)x=1 2) x= 2 3) x= 3 4) x= 4. Простые высказывания В – ветер П – пасмурно Д - дождь В – 1 П – 0 Д – 0 Ответ: погода будет ясная, без дождя, но ветреная. Решение: (50<X2)?(50>(X+1)2) = 1 Из таблицы истинности импликации (X2>50) = 1 (X+1)2 < 50 = 1 x<-?50 или x>?50 -?50< (x+1) <?50.

«Логические операции» - В следующих столбцах – значения истинности последовательно выполняемых операций и окончательного результата. Таблица истинности: Доказать справедливость тождества. Полученное сложное высказывание – логическая сумма (дизъюнкция). Данное высказывание равносильно поездке на матч – М. Например: Импликация.

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

Алгебра

35 тем