Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.

Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

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

Содержание

Алгебра высказываний Алгебра высказываний была разработана для того, чтобы можно было определять истинность или ложность составных высказываний, не вникая в их содержание.В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского
Алгебра логики.Логическое умножение, сложение и отрицание. Диденко В.В. Алгебра высказываний Алгебра высказываний была разработана для того, чтобы можно было определять Рассмотрим два простых высказывания:А = «Два умножить на два равно четырем».В = Для образования новых высказываний используются базовые логические операции, выражаемые с помощью логических связок «и», «или», «не». Логическое умножение (конъюнкция).Объединение двух (или нескольких) высказываний в одно с помощью союза Пример(1) «2 - 2 = 5 и 3 • 3 = 10»,(2) Р = А & В.С точки зрения алгебры высказываний мы записали формулу Таблица истинности функции логического умножения Значение логической функции можно определить с помощью Логическое сложение (дизъюнкция)Объединение двух (или нескольких) высказываний с помощью союза «или» называется Пример(1) «2 • 2 = 5 или 3 • 3 = 10»,(2) Таблица истинности функции логического сложения. Логическое отрицание (инверсия)Присоединение частицы «не» к высказыванию называется операцией логического отрицания или ПримерПусть А = «Два умножить на два равно четырем» — истинное высказывание, Таблица истинности функции логического отрицанияF = A
Слайды презентации

Слайд 2 Алгебра высказываний
Алгебра высказываний была разработана для того,

Алгебра высказываний Алгебра высказываний была разработана для того, чтобы можно было

чтобы можно было определять истинность или ложность составных высказываний,

не вникая в их содержание.
В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита.

Слайд 3 Рассмотрим два простых высказывания:
А = «Два умножить на

Рассмотрим два простых высказывания:А = «Два умножить на два равно четырем».В

два равно четырем».
В = «Два умножить на два равно

пяти».
В нашем случае первое высказывание истинно (А = 1), а второе ложно (В = 0).
В алгебре высказываний над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания.

Слайд 4 Для образования новых высказываний используются базовые логические операции,

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

выражаемые с помощью логических связок «и», «или», «не».

Слайд 5 Логическое умножение (конъюнкция).
Объединение двух (или нескольких) высказываний в

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

одно с помощью союза «и» называется операцией логического умножения

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

Слайд 6 Пример
(1) «2 - 2 = 5 и 3

Пример(1) «2 - 2 = 5 и 3 • 3 =

• 3 = 10»,
(2) «2 • 2 = 5

и 3 • 3 = 9»,
(3) «2 -2 = 4 и 3 • 3 = 10»,
(4) «2 • 2 = 4 и 3 - 3 = 9».
Из этих высказываний истинно только (4)

Слайд 7 Р = А & В.
С точки зрения алгебры

Р = А & В.С точки зрения алгебры высказываний мы записали

высказываний мы записали формулу функции логического умножения, аргументами которой

являются логические переменные А и В, которые могут принимать значения «истина» (1) и «ложь» (0).
Сама функция логического умножения Р также может принимать лишь два значения «истина» (1) и «ложь» (0).

Слайд 8 Таблица истинности функции логического умножения
Значение логической функции

Таблица истинности функции логического умножения Значение логической функции можно определить с

можно определить с помощью таблицы истинности данной функции


Слайд 9 Логическое сложение (дизъюнкция)
Объединение двух (или нескольких) высказываний с

Логическое сложение (дизъюнкция)Объединение двух (или нескольких) высказываний с помощью союза «или»

помощью союза «или» называется операцией логического сложения или дизъюнкцией.
Составное

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

Слайд 10 Пример
(1) «2 • 2 = 5 или 3

Пример(1) «2 • 2 = 5 или 3 • 3 =

• 3 = 10»,
(2) «2 • 2 = 5

или 3 • 3 = 9»,
(3) «2 • 2 = 4 или 3 • 3 = 10»,
(4) «2 • 2 = 4 или 3-3 = 9».
F = A B

Слайд 11 Таблица истинности функции логического сложения.

Таблица истинности функции логического сложения.

Слайд 12 Логическое отрицание (инверсия)
Присоединение частицы «не» к высказыванию называется

Логическое отрицание (инверсия)Присоединение частицы «не» к высказыванию называется операцией логического отрицания

операцией логического отрицания или инверсией

Логическое отрицание (инверсия) делает

истинное высказывание ложным и, наоборот, ложное — истинным.

Слайд 13 Пример
Пусть А = «Два умножить на два равно

ПримерПусть А = «Два умножить на два равно четырем» — истинное

четырем» — истинное высказывание, тогда высказывание Р = «Два

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

F = A

  • Имя файла: algebra-logiki.pptx
  • Количество просмотров: 178
  • Количество скачиваний: 0
- Предыдущая Путешествие по стране Электрония
Следующая - Добрые слова

Похожие презентации

Криптосистемы с открытым ключем Криптосистемы с открытым ключем 145
Создание 3D-модели спутника для сбора космического мусора на околоземной орбите(Презентация к тексту) Создание 3D-модели спутника для сбора космического мусора на околоземной орбите(Презентация к тексту) 173
Гиперссылки в тексте Гиперссылки в тексте 121
Анимация в презентации Теремок Анимация в презентации Теремок 146
Презентация Скалярные типы данных языка Паскаль Презентация Скалярные типы данных языка Паскаль 134
Интерактивный тренажёр-раскраска Имена объектов Интерактивный тренажёр-раскраска Имена объектов 138
Компьютерные вирусы. Антивирусные программы. Компьютерные вирусы. Антивирусные программы. 148
Умозаключение как форма мышления Умозаключение как форма мышления 96
Анализ данных с Data Mining Анализ данных с Data Mining 137
Презентация к уроку информатики Знакомство с инструментальной средой Delphi Презентация к уроку информатики Знакомство с инструментальной средой Delphi 133
Компьютерные сети Компьютерные сети 130
Безопасная работа в социальных сетях Безопасная работа в социальных сетях 122
Создание примитивов на языке VRML Создание примитивов на языке VRML 95
Угринович Информатика и ИКТ Угринович Информатика и ИКТ 146
Текстовый процессор Microsoft Word Текстовый процессор Microsoft Word 120
Системы электронного документооборота Системы электронного документооборота 170
Двоичное кодирование Двоичное кодирование 153
Архитектура ЭВМ Архитектура ЭВМ 160
Функціональність АПО та її взаємодія з іншими підсистемами АС АРМ ВЗ Функціональність АПО та її взаємодія з іншими підсистемами АС АРМ ВЗ 101
Презентация по информатике на тему: Алгоритм и его формальное исполнение Презентация по информатике на тему: Алгоритм и его формальное исполнение 108
Презентация по информатике на тему База данных Презентация по информатике на тему База данных 146
Разработка программы для шифрования и дешифрования осмысленного текста с ключом Разработка программы для шифрования и дешифрования осмысленного текста с ключом 145
Примеры моделирования Примеры моделирования 169
Презентация по информатике на тему Двоичное кодирование числовой информации (6 класс) Презентация по информатике на тему Двоичное кодирование числовой информации (6 класс) 151
Графические информационные модели Графические информационные модели 149
Понятие информации. Информационных процессов Понятие информации. Информационных процессов 126
Передача информации Передача информации 110
Создание баз данных в программе MS Access Создание баз данных в программе MS Access 123
Презентация проекта Система координат Презентация проекта Система координат 177
Презентация по информатике на тему Информационные ресурсы обществаВнешние устройства ПК Презентация по информатике на тему Информационные ресурсы обществаВнешние устройства ПК 119