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

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

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

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

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

«Логика высказываний» - Но идея Лейбница оказалась неподтвержденной, так как до сих пор не найден способ свести человеческое мышление к некоторому математическому исчислению. Идею о возможности математизации логики высказал ещё в ХVII в. немецкий логик Готфрид Вильгельм Лейбниц. Если высказывание А истинное, то запишем «А=1», если ложное, то «А=0».

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

«Логические функции» - Седой Черноволосый Рыжий. Функция: F= x1 или x2 F= x1 v x2 F= x1 + x2. Универсальное множество 1 - прямоугольник, Множество НЕ А - прямоугольник минус круг. Лампочка горит, если включен хотя бы один выключатель. Забавно, не правда ли? «Ты прав» - подтвердил мастер. Способы решения: Табличный Графический (Графы) Средствами алгебры логики.

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

«Булевы функции» - Формула содержит функции. Самодвойственные булевы функции. Булевы функции. Функции равны. Порядковый номер функции. Приоритет выполнения операций. Основные определения. Принцип двойственности. Функция. Построить таблицу истинности. Пример построения двойственной функции. Задание булевых функций. Булевы функции двух переменных.

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

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

Алгебра

35 тем