Что такое 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
  • Количество просмотров: 124
  • Количество скачиваний: 0
- Предыдущая Где искать затонувшие корабли?
Следующая - Испытания лекарственных средств

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

Внутренние устройства компьютера Внутренние устройства компьютера 137
Решение задач по теме Решение задач по теме 126
Интегрированный урок по информатике и русскому языку по теме Что есть число? Интегрированный урок по информатике и русскому языку по теме Что есть число? 178
Процедуры и функции на языке Pascal Процедуры и функции на языке Pascal 130
Всемирная паутина Всемирная паутина 131
Внешний носитель памяти Внешний носитель памяти 131
Текстовый редактор Текстовый редактор 144
История развития и разновидности операционных систем История развития и разновидности операционных систем 170
Среда программирования С++ Среда программирования С++ 138
Информатика. Техника безопасности Информатика. Техника безопасности 124
Модульный принцип построения ЭВМ НПО Модульный принцип построения ЭВМ НПО 178
Применение формул для вычисления в таблицах, созданных в Microsoft Word 2007 Применение формул для вычисления в таблицах, созданных в Microsoft Word 2007 199
Самостоятельная работа по информатике для 8 класса по теме Представление информации к УМК Л.Л.Босовой Самостоятельная работа по информатике для 8 класса по теме Представление информации к УМК Л.Л.Босовой 175
Трактиръ: Head-Office. Функциональные возможности Трактиръ: Head-Office. Функциональные возможности 131
Графический редактор Adobe Photoshop Графический редактор Adobe Photoshop 150
История компьютерной техники История компьютерной техники 163
Архивация файлов Архивация файлов 113
Организация исследовательской и творческой деятельности учащихся во внеурочное время Организация исследовательской и творческой деятельности учащихся во внеурочное время 134
Организация и структура телекоммуникационных компьютерных сетей Организация и структура телекоммуникационных компьютерных сетей 111
Классы. Базовый класс Классы. Базовый класс 137
AutoCAD — двух- и трёхмерная система автоматизированного проектирования и подготовки чертежно-конструкторской документации AutoCAD — двух- и трёхмерная система автоматизированного проектирования и подготовки чертежно-конструкторской документации 119
Правила поведения в компьютерном классе Правила поведения в компьютерном классе 125
Файлы и папки Файлы и папки 165
Урок №5 Алгоритм с ветвлениями и циклами Урок №5 Алгоритм с ветвлениями и циклами 146
Презентация опыта работы с интерактивной доской Презентация опыта работы с интерактивной доской 159
Компьютерные вирусы и антивирусные программы Компьютерные вирусы и антивирусные программы 131
Компьютерная память Компьютерная память 104
Системы оптического распознавания текстов. Программа FineReader Системы оптического распознавания текстов. Программа FineReader 123
Презентация Формы и методы обучения информатике в старшей школе. Персонализированное обучение информатике в старшей школе Презентация Формы и методы обучения информатике в старшей школе. Персонализированное обучение информатике в старшей школе 152
Презентация по информатике для 5 класса Школьный словарь компьютерной техники Презентация по информатике для 5 класса Школьный словарь компьютерной техники 84