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

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

Урок-игра Слабое звено на закрепление темы Системы счисления 10 класс Урок-игра Слабое звено на закрепление темы Системы счисления 10 класс 151
Двоичная система счисления. Перевод из двоичной с.с в десятичную Двоичная система счисления. Перевод из двоичной с.с в десятичную 117
ИНТЕРНЕТ И СОЦИАЛЬНЫЕ СЕТИ ИНТЕРНЕТ И СОЦИАЛЬНЫЕ СЕТИ 149
Презентация по информатике 9 класс на тему Управление и алгоритмы Презентация по информатике 9 класс на тему Управление и алгоритмы 218
ПРОВЕРОЧНАЯ РАБОТА Web-конструирование ПРОВЕРОЧНАЯ РАБОТА Web-конструирование 157
Измерение информации (Алфавитный подход) Измерение информации (Алфавитный подход) 132
Подготовка к ЕГЭ Файлы и файловая система Подготовка к ЕГЭ Файлы и файловая система 118
Беспроводные сети Беспроводные сети 567
Презентация по информатике на тему Компьютер Презентация по информатике на тему Компьютер 155
Презентация по информатике на тему Исследование физических моделей в электронных таблицах (11 класс) Презентация по информатике на тему Исследование физических моделей в электронных таблицах (11 класс) 133
Набор и редактирование текста Набор и редактирование текста 103
Поиск информации в сети Интернет Поиск информации в сети Интернет 159
КВН по информатике и математике КВН по информатике и математике 176
Колонтитулы и нумерация страниц Word Колонтитулы и нумерация страниц Word 130
Презентация по информатике на тему Компьютерная графика (7 класс) Презентация по информатике на тему Компьютерная графика (7 класс) 158
Развитие вычислительной техники Развитие вычислительной техники 126
Графики Графики 101
Детское радио Детское радио 180
Логика и логические основы компьютера Логика и логические основы компьютера 109
Проектор Проектор 131
Графика Графика 129
Информационная карта как технология описания инновационного опыта Информационная карта как технология описания инновационного опыта 109
Экспертные системы и базы знаний Экспертные системы и базы знаний 101
конспект урока информатики во 2 классе план-конспект урока по информатике (2 класс) по теме конспект урока информатики во 2 классе план-конспект урока по информатике (2 класс) по теме 127
Microsoft Word: стили, шаблоны, оглавление Microsoft Word: стили, шаблоны, оглавление 398
Социальные медиа Социальные медиа 191
Презентация к уроку-рефлексии Путешествие в Загадочный городок. (5 класс) Презентация к уроку-рефлексии Путешествие в Загадочный городок. (5 класс) 64
Математические модели информационных потоков Математические модели информационных потоков 126
Создание отчета как объекта базы данных Создание отчета как объекта базы данных 113
Структуры. (Лекция 2) Структуры. (Лекция 2) 93