Добавить материал и получить бесплатное свидетельство о публикации
версия для слабовидящих
Главная / Информатика / Презентация по информатике "Основные логические опреации"

Презентация по информатике "Основные логические опреации"

Алгебра высказываний (алгебра логики) Основные логические операции
Алгебра высказываний (алгебра логики) – раздел математической логики, изучающ...
* Обозначение высказываний A – Сейчас идет дождь. B – Форточка открыта. прост...
* Логическое отрицание (инверсия) Таблица истинности * образуется присоединен...
* Диаграмма Эйлера – Венна (дополнение до универсального множества) А – множе...
* Логическое умножение (конъюнкция) образуется объединением двух или более вы...
* Диаграмма Эйлера – Венна (пересечение множеств) A – множество отличников в...
* * Логическое сложение (дизъюнкция) образуется объединением двух или более в...
* Диаграмма Эйлера - Венна (объединение множеств) Логическое сложение (дизъюн...
* Строгая дизъюнкция (исключающее ИЛИ) образуется объединением двух или более...
* Диаграмма Эйлера - Венна (разделение множеств) A – Петя сидит на трибуне А;...
* A – «Работник хорошо работает». B – «У работника хорошая зарплата». 1 1 1 0...
* Импликация («если …, то …») «Если Вася идет гулять, то Маша сидит дома». A...
* Диаграмма Эйлера - Венна Арифметическая модель: 1-А+А*В Логическое следован...
* Логическое равенство (эквивалентность) образуется объединением двух высказы...
* С=AB Логическое равенство (эквивалентность) Диаграмма Эйлера - Венна А = Я...
* Базовый набор операций С помощью операций И, ИЛИ и НЕ можно реализовать люб...
* Штрих Шеффера, «И-НЕ» Базовые операции через «И-НЕ»: A	B	А | B 0	0	1 0	1	1...
* Стрелка Пирса, «ИЛИ-НЕ» Базовые операции через «ИЛИ-НЕ»: A	B	А ↓ B 0	0	1 0...
‹‹
1 из 19
››

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

№ слайда 1 Алгебра высказываний (алгебра логики) Основные логические операции
Описание слайда:

Алгебра высказываний (алгебра логики) Основные логические операции

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

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

№ слайда 3 * Обозначение высказываний A – Сейчас идет дождь. B – Форточка открыта. прост
Описание слайда:

* Обозначение высказываний A – Сейчас идет дождь. B – Форточка открыта. простые высказывания (элементарные) Составные высказывания строятся из простых с помощью логических связок (операций) «и», «или», «не», «если … то», «тогда и только тогда» и др. A и B A или не B если A, то B A тогда и только тогда, когда B Сейчас идет дождь и открыта форточка. Сейчас идет дождь или форточка закрыта. Если сейчас идет дождь, то форточка открыта. Дождь идет тогда и только тогда, когда открыта форточка.

№ слайда 4 * Логическое отрицание (инверсия) Таблица истинности * образуется присоединен
Описание слайда:

* Логическое отрицание (инверсия) Таблица истинности * образуется присоединением частицы «не» к высказыванию. обозначение: НЕ(А); Ā;¬А, NOT(A) А = Сейчас идёт дождь. Ā = Неверно что, сейчас идёт дождь. 1 0 0 1 А не (А)

№ слайда 5 * Диаграмма Эйлера – Венна (дополнение до универсального множества) А – множе
Описание слайда:

* Диаграмма Эйлера – Венна (дополнение до универсального множества) А – множество отличников Ā – множество не отличников Арифметическая модель: Ā =1- А

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

* Логическое умножение (конъюнкция) образуется объединением двух или более высказываний в одно при помощи союза «И» А и В; А&В, А^В, А*В, A and B Таблица истинности С=А & В обозначение: А В А٨В 0 0 0 0 1 0 1 0 0 1 1 1

№ слайда 7 * Диаграмма Эйлера – Венна (пересечение множеств) A – множество отличников в
Описание слайда:

* Диаграмма Эйлера – Венна (пересечение множеств) A – множество отличников в классе; B – множество спортсменов в классе; A & B – множество отличников, занимающихся спортом. Арифметическая модель: А*В

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

* * Логическое сложение (дизъюнкция) образуется объединением двух или более высказываний в одно с помощью союза «ИЛИ» обозначение: А или В; АvВ, А+В, A or B. Таблица истинности С=А v В 220 В А В А v В 0 0 0 0 1 1 1 0 1 1 1 1

№ слайда 9 * Диаграмма Эйлера - Венна (объединение множеств) Логическое сложение (дизъюн
Описание слайда:

* Диаграмма Эйлера - Венна (объединение множеств) Логическое сложение (дизъюнкция, нестрогая дизъюнкция) A – множество отличников в классе; B – множество спортсменов в классе; A v B – множество учеников класса, которые являются отличниками или спортсменами. Арифметическая модель: А+В-А*В

№ слайда 10 * Строгая дизъюнкция (исключающее ИЛИ) образуется объединением двух или более
Описание слайда:

* Строгая дизъюнкция (исключающее ИЛИ) образуется объединением двух или более высказываний в одно с помощью союза «ЛИБО» Обозначение: А либо В; АВ, АВ, A xor B. Таблица истинности С=А  В А В А  В 0 0 0 0 1 1 1 0 1 1 1 0

№ слайда 11 * Диаграмма Эйлера - Венна (разделение множеств) A – Петя сидит на трибуне А;
Описание слайда:

* Диаграмма Эйлера - Венна (разделение множеств) A – Петя сидит на трибуне А; B – Петя сидит на трибуне В; A  B – Петя сидит либо только на трибуне А, либо только на трибуне В. Арифметическая модель: (А-В)2 Строгая дизъюнкция (исключающее ИЛИ)

№ слайда 12 * A – «Работник хорошо работает». B – «У работника хорошая зарплата». 1 1 1 0
Описание слайда:

* A – «Работник хорошо работает». B – «У работника хорошая зарплата». 1 1 1 0 Логическое следование (импликация) образуется объединением двух высказываний в одно с помощью логической связки «ЕСЛИ …, ТО…» обозначение: АВ; АВ A B А  B 0 0 0 1 1 0 1 1

№ слайда 13 * Импликация («если …, то …») «Если Вася идет гулять, то Маша сидит дома». A
Описание слайда:

* Импликация («если …, то …») «Если Вася идет гулять, то Маша сидит дома». A – «Вася идет гулять». B – «Маша сидит дома». Маша может пойти гулять (B=0), а может и не пойти (B=1)! A B А  B 0 0 1 0 1 1 1 0 0 1 1 1

№ слайда 14 * Диаграмма Эйлера - Венна Арифметическая модель: 1-А+А*В Логическое следован
Описание слайда:

* Диаграмма Эйлера - Венна Арифметическая модель: 1-А+А*В Логическое следование (импликация) A – "Работник хорошо работает". B – "У работника хорошая зарплата".

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

* Логическое равенство (эквивалентность) образуется объединением двух высказываний в одно с помощью логической связки «ТОГДА И ТОЛЬКО ТОГДА, КОГДА …» обозначение: АВ; А~В; АВ Таблица истинности А = Я получил паспорт. В = Мне 14 лет. АВ = Я получу паспорт тогда и только тогда, когда мне исполнится 14 лет. С=AB А В А  В 0 0 1 0 1 0 1 0 0 1 1 1

№ слайда 16 * С=AB Логическое равенство (эквивалентность) Диаграмма Эйлера - Венна А = Я
Описание слайда:

* С=AB Логическое равенство (эквивалентность) Диаграмма Эйлера - Венна А = Я получил паспорт. В = Мне 14 лет. С= Я получу паспорт тогда и только тогда, когда мне исполнится 14 лет.

№ слайда 17 * Базовый набор операций С помощью операций И, ИЛИ и НЕ можно реализовать люб
Описание слайда:

* Базовый набор операций С помощью операций И, ИЛИ и НЕ можно реализовать любую логическую операцию.

№ слайда 18 * Штрих Шеффера, «И-НЕ» Базовые операции через «И-НЕ»: A	B	А | B 0	0	1 0	1	1
Описание слайда:

* Штрих Шеффера, «И-НЕ» Базовые операции через «И-НЕ»: A B А | B 0 0 1 0 1 1 1 0 1 1 1 0

№ слайда 19 * Стрелка Пирса, «ИЛИ-НЕ» Базовые операции через «ИЛИ-НЕ»: A	B	А ↓ B 0	0	1 0
Описание слайда:

* Стрелка Пирса, «ИЛИ-НЕ» Базовые операции через «ИЛИ-НЕ»: A B А ↓ B 0 0 1 0 1 0 1 0 0 1 1 0

  • Информатика
Описание:

Тема: Основные логические операции.

Цель:

üзакрепить понятия логики, алгебры высказываний;

üрассмотреть основные логические операции, их свойства и обозначения.

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

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

Автор Пастушук Галина Григорьевна
Дата добавления 16.12.2016
Раздел Информатика
Подраздел Презентации
Просмотров 759
Номер материала MA-069040
Скачать свидетельство о публикации

Оставьте свой комментарий:

Введите символы, которые изображены на картинке:

Получить новый код
* Обязательные для заполнения.


Комментарии:

Популярные курсы