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

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

IV Международный дистанционный конкурс «Старт» Идёт приём заявок Для дошкольников и учеников 1-11 классов 16 предметов ОРГВЗНОС 25 Р. ПОДАТЬ ЗАЯВКУ
библиотека
материалов
Булева алгебра

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

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 Программирование в компьютерных системах. Ознакомление обучающихся с важнейшими разделами математической логики для применения полученных знаний в решении практических задач, повышение уровня математической культуры, развития логичности и конструктивности мышления. Формирование систематизированных знаний в области математической логики, представлений о проблемах оснований математики и роли математической логики в их решении. Можно применять при изучении нового материала, при подготовке к занятиям и при самоподготовке.

 

 

ВНИМАНИЮ УЧИТЕЛЕЙ: хотите организовать и вести кружок по ментальной арифметике в своей школе? Спрос на данную методику постоянно растёт, а Вам для её освоения достаточно будет пройти один курс повышения квалификации (72 часа) прямо в Вашем личном кабинете на сайте "Инфоурок".

Пройдя курс Вы получите:
- Удостоверение о повышении квалификации;
- Подробный план уроков (150 стр.);
- Задачник для обучающихся (83 стр.);
- Вводную тетрадь «Знакомство со счетами и правилами»;
- БЕСПЛАТНЫЙ доступ к CRM-системе, Личному кабинету для проведения занятий;
- Возможность дополнительного источника дохода (до 60.000 руб. в месяц)!

Пройдите дистанционный курс «Ментальная арифметика» на проекте "Инфоурок"!

Подать заявку
IV Международный дистанционный конкурс «Старт» Для дошкольников и учеников 1-11 классов Рекордно низкий оргвзнос 25 Р. 16 предметов ПОДАТЬ ЗАЯВКУ
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.