Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Свидетельство о публикации

Автоматическая выдача свидетельства о публикации в официальном СМИ сразу после добавления материала на сайт - Бесплатно

Добавить свой материал

За каждый опубликованный материал Вы получите бесплатное свидетельство о публикации от проекта «Инфоурок»

(Свидетельство о регистрации СМИ: Эл №ФС77-60625 от 20.01.2015)

Инфоурок / Информатика / Презентации / Презентация по информатике на тему "Алгебра логики"
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 28 июня.

Подать заявку на курс
  • Информатика

Презентация по информатике на тему "Алгебра логики"

библиотека
материалов
Алгебра логики
Алгебра Алгебра- это раздел математики, предназначенный для описания действий...
Определение алгебры логики Алгебра логики-это раздел математики, изучающий вы...
Простое логическое выражение -состоит из одного высказывания и не содержит ло...
Сложное логическое выражение - содержит высказывания, объединенные логическим...
Таблица истинности Таблица истинности -ЭТО ТАБЛИЧНОЕ ПРЕДСТАВЛЕНИЕ ЛОГИЧЕСКОЙ...
Логическое высказывание Логическое высказывание- это любое повествовательное...
Аксиомы 1.х = х, инволютивность отрицания, закон снятия двойного отрицания 2....
Логические операции Логика высказываний послужила основным математическим инс...
Впоследствии Булева алгебра была обобщена от логики высказываний путём введе...
Свойства логических операций 1. Коммутативность: xoy = yox , o 2.Идемпотентно...
История Своим существованием наука «алгебра логики» обязана английскому матем...
Тождественно истинные высказывания(тавтология) Тождественно истинным называют...
Эквивалентные высказывания Эквивалентными ( тождественными или равносильными)...
Логическое умножение ( конъюнкция) Представляет собой объединение нескольких...
x y F 0 0 1 0 1 1 1 0 1 1 1 1
Логическое сложение ( дизъюнкция) Представляет собой объединение логических в...
Логическое отрицание (инверсия) Представляет собой объединение логических выр...
Логическое следствие (импликация) Связывают два логических выражения с помощь...
Логическое равенство (эквивалентность) Образуются соединением двух логических...
 Спасибо за внимание
21 1

Подайте заявку сейчас на любой интересующий Вас курс переподготовки, чтобы получить диплом со скидкой 50% уже осенью 2017 года.


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

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

№ слайда 1 Алгебра логики
Описание слайда:

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

№ слайда 2 Алгебра Алгебра- это раздел математики, предназначенный для описания действий
Описание слайда:

Алгебра Алгебра- это раздел математики, предназначенный для описания действий над переменными величинами, которые принято обозначать строчными буквами латинского алфавита – a,b,x,y и т.д.

№ слайда 3 Определение алгебры логики Алгебра логики-это раздел математики, изучающий вы
Описание слайда:

Определение алгебры логики Алгебра логики-это раздел математики, изучающий высказывания с точки зрения их логических знаний ( истинности или ложности ) и логических операций над ними.

№ слайда 4 Простое логическое выражение -состоит из одного высказывания и не содержит ло
Описание слайда:

Простое логическое выражение -состоит из одного высказывания и не содержит логических операций. В простом логическом выражении возможно только два результата – либо «истина», либо «ложь».

№ слайда 5 Сложное логическое выражение - содержит высказывания, объединенные логическим
Описание слайда:

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

№ слайда 6 Таблица истинности Таблица истинности -ЭТО ТАБЛИЧНОЕ ПРЕДСТАВЛЕНИЕ ЛОГИЧЕСКОЙ
Описание слайда:

Таблица истинности Таблица истинности -ЭТО ТАБЛИЧНОЕ ПРЕДСТАВЛЕНИЕ ЛОГИЧЕСКОЙ СХЕМЫ ( ОПЕРАЦИИ), В КОТОРОМ ПЕРЕЧИСЛЕНЫ ВСЕ ВОЗМОЖНЫЕ СОЧИТАНИЯ ЗНАЧЕНИЙ ИСТИННОСТИ ВХОДНЫХ СИГНАЛОВ ( ОПЕРАНДОВ) ВМЕСТЕ СО ЗНАНИЕМ ИСТИННОСТИ ВЫХОДНОГО СИГНАЛА ( РЕЗУЛЬТАТА ОПЕРАЦИИ) ДЛЯ КАЖДОГО ИЗ ЭТИХ СОЧИТАНИЙ.

№ слайда 7 Логическое высказывание Логическое высказывание- это любое повествовательное
Описание слайда:

Логическое высказывание Логическое высказывание- это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.

№ слайда 8 Аксиомы 1.х = х, инволютивность отрицания, закон снятия двойного отрицания 2.
Описание слайда:

Аксиомы 1.х = х, инволютивность отрицания, закон снятия двойного отрицания 2.хVх= 1 3.хV1= 1 4.хVх=х 5.хV0=х

№ слайда 9 Логические операции Логика высказываний послужила основным математическим инс
Описание слайда:

Логические операции Логика высказываний послужила основным математическим инструментом при создании компьютеров. Она легко преобразуется в битовую логику: истинность высказывания обозначается одним битом(0 – ложь, 1-истина)

№ слайда 10 Впоследствии Булева алгебра была обобщена от логики высказываний путём введе
Описание слайда:

Впоследствии Булева алгебра была обобщена от логики высказываний путём введения характерных для логики высказываний аксиом. Это позволило рассматривать, например, логику кубитов, тройственную логику.

№ слайда 11 Свойства логических операций 1. Коммутативность: xoy = yox , o 2.Идемпотентно
Описание слайда:

Свойства логических операций 1. Коммутативность: xoy = yox , o 2.Идемпотентность: xox = x, o 3.Ассоциативность: (xoy)oz = xo(yoz), o 4.Дистрибутивность конъюнкций и дизъюнкций относительно дизъюнкции, конъюнкции и суммы по модулю два соответственно: Х Λ (y V z) = (x Λ y) V (x Λ z)

№ слайда 12 История Своим существованием наука «алгебра логики» обязана английскому матем
Описание слайда:

История Своим существованием наука «алгебра логики» обязана английскому математику Джорджу Булю, который исследовал логику высказываний. Первый в России курс по алгебре логики был прочитан П.С. Порецким в Казанском государственном университете.

№ слайда 13 Тождественно истинные высказывания(тавтология) Тождественно истинным называют
Описание слайда:

Тождественно истинные высказывания(тавтология) Тождественно истинным называются высказывания, истинные при любых значениях входящих в него переменных. Таким образом такое высказывание всегда равно 0.

№ слайда 14 Эквивалентные высказывания Эквивалентными ( тождественными или равносильными)
Описание слайда:

Эквивалентные высказывания Эквивалентными ( тождественными или равносильными) называются высказывания, значения которых совпадают при любых значениях входящих в него переменных.

№ слайда 15 Логическое умножение ( конъюнкция) Представляет собой объединение нескольких
Описание слайда:

Логическое умножение ( конъюнкция) Представляет собой объединение нескольких логических выражений с помощью союза И. При практическом наборе на компьютере часто используют знаки прямого и обратного деления без пробелов.

№ слайда 16 x y F 0 0 1 0 1 1 1 0 1 1 1 1
Описание слайда:

x y F 0 0 1 0 1 1 1 0 1 1 1 1

№ слайда 17 Логическое сложение ( дизъюнкция) Представляет собой объединение логических в
Описание слайда:

Логическое сложение ( дизъюнкция) Представляет собой объединение логических выражений с помощью союза ИЛИ. Если при сложении результат становится больше нуля, то он выражается единицей. При практическом наборе используют знаки обратного и прямого деления без пробела

№ слайда 18 Логическое отрицание (инверсия) Представляет собой объединение логических выр
Описание слайда:

Логическое отрицание (инверсия) Представляет собой объединение логических выражений с добавленной в начале частицей НЕ. То есть операция всегда обращает значение в противоположное.

№ слайда 19 Логическое следствие (импликация) Связывают два логических выражения с помощь
Описание слайда:

Логическое следствие (импликация) Связывают два логических выражения с помощью союза ЕСЛИ….,ТО.

№ слайда 20 Логическое равенство (эквивалентность) Образуются соединением двух логических
Описание слайда:

Логическое равенство (эквивалентность) Образуются соединением двух логических выражений с помощью оборотов «ТОГДА И ТОЛЬКО ТОГДА», «НЕОБХОДИМО И ДОСТАТОЧНО» «РАВНОСИЛЬНО»

№ слайда 21  Спасибо за внимание
Описание слайда:

Спасибо за внимание


Подайте заявку сейчас на любой интересующий Вас курс переподготовки, чтобы получить диплом со скидкой 50% уже осенью 2017 года.


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

Автор
Дата добавления 23.02.2016
Раздел Информатика
Подраздел Презентации
Просмотров162
Номер материала ДВ-478652
Получить свидетельство о публикации
Похожие материалы

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