Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Математика / Презентации / Презентация по предмету Элементы математической логики "Булева алгебра"

Презентация по предмету Элементы математической логики "Булева алгебра"

  • Математика
Булева алгебра
Формула, полученная в результате преобразований и содержащая только операции...
Среди булевых формул выделяют 4 специальных вида: Дизъюнктивная нормальная фо...
Конъюнктивным одночленом от переменных называется конъюнкция этих переменных...
Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция конъюнктивных одн...
Одночлен (дизъюнктивный или конъюнктивный) от переменных Х1, Х2, …, Хn называ...
Алгебра (Σ, ᶺ, V, ͞ ), основным множеством которой является все множество лог...
Ассоциативный (сочетательный) Коммутативный (переместительный) Дистрибутивный...
Идемпотентности Двойного отрицания Поглощения Противоречия
Исключения третьего Силлогизма (дедуктивного заключения) Де Моргана
1 из 10

Описание презентации по отдельным слайдам:

№ слайда 1 Булева алгебра
Описание слайда:

Булева алгебра

№ слайда 2 Формула, полученная в результате преобразований и содержащая только операции
Описание слайда:

Формула, полученная в результате преобразований и содержащая только операции конъюнкции, дизъюнкции и отрицания, называется булевой формулой. Буль - американский математик; заложил основы алгебры двоичных чисел.

№ слайда 3 Среди булевых формул выделяют 4 специальных вида: Дизъюнктивная нормальная фо
Описание слайда:

Среди булевых формул выделяют 4 специальных вида: Дизъюнктивная нормальная форма (ДНФ); Совершенная дизъюнктивная нормальная форма (СДНФ); Конъюнктивная нормальная форма (КНФ); Совершенная конъюнктивная нормальная форма (СКНФ);

№ слайда 4 Конъюнктивным одночленом от переменных называется конъюнкция этих переменных
Описание слайда:

Конъюнктивным одночленом от переменных называется конъюнкция этих переменных или их отрицаний, обозначается Кi . Дизъюнктивным одночленом от переменных называется дизъюнкция этих переменных или их отрицаний, обозначается Di . Понятия нормальных форм

№ слайда 5 Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция конъюнктивных одн
Описание слайда:

Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция конъюнктивных одночленов т.е. К1˅К2˅К3˅… ˅Кр; Конъюнктивной нормальной формой (КНФ) называется конъюнкция дизъюнктивных одночленов т.е. D1˄D2 ˄D3˄… ˄Dn;

№ слайда 6 Одночлен (дизъюнктивный или конъюнктивный) от переменных Х1, Х2, …, Хn называ
Описание слайда:

Одночлен (дизъюнктивный или конъюнктивный) от переменных Х1, Х2, …, Хn называется совершенным, если в него от каждой пары Хi, ¬Xi входит ровно одна буква. Нормальная форма (дизъюнктивная или конъюнктивная) от переменных Х1, Х2, …, Хn называется совершенной, если в неё входят только совершенные одночлены (конъюнктивные или дизъюнктивные соответственно) от Х1, Х2, …, Хn .Обозначаются СДНФ или СКНФ.

№ слайда 7 Алгебра (Σ, ᶺ, V, ͞ ), основным множеством которой является все множество лог
Описание слайда:

Алгебра (Σ, ᶺ, V, ͞ ), основным множеством которой является все множество логических функций Σ, а операциями – дизъюнкция, конъюнкция и отрицание, называется булевой алгеброй логических функций. Операции булевой алгебры называются булевыми операциями. Булева алгебра.

№ слайда 8 Ассоциативный (сочетательный) Коммутативный (переместительный) Дистрибутивный
Описание слайда:

Ассоциативный (сочетательный) Коммутативный (переместительный) Дистрибутивный (распределительный) Законы булевых операций.

№ слайда 9 Идемпотентности Двойного отрицания Поглощения Противоречия
Описание слайда:

Идемпотентности Двойного отрицания Поглощения Противоречия

№ слайда 10 Исключения третьего Силлогизма (дедуктивного заключения) Де Моргана
Описание слайда:

Исключения третьего Силлогизма (дедуктивного заключения) Де Моргана

Краткое описание документа:

Презентация по предмету Элементы математической логики "Булева алгебра" разработана на основе Федерального государственного образовательного стандарта по специальности среднего профессионального образования 230115 Программирование в компьютерных системах. Ознакомление обучающихся с важнейшими разделами математической логики для применения полученных знаний в решении практических задач, повышение уровня математической культуры, развития логичности и конструктивности мышления. Формирование систематизированных знаний в области математической логики, представлений о проблемах оснований математики и роли математической логики в их решении. Можно применять при изучении нового материала, при подготовке к занятиям и при самоподготовке.

 

 

Автор
Дата добавления 25.05.2015
Раздел Математика
Подраздел Презентации
Просмотров209
Номер материала 544849
Получить свидетельство о публикации
Похожие материалы

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх