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

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

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

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

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

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

Презентация на тему Основные законы алгебры логики

Содержание

Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия)
ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИУчитель информатики отделения основного общего образования ГОБУ СПО ВО Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия) В основе современной логики лежат учения, созданные древнегреческими мыслителями (Аристотель, Геродот)Аристотель 384-322 ЛОГИКА – наука о формах и способах мышления Законы мышления отражают в сознании человека свойства, связи и отношения объектов окружающего мира ВысказываниеПонятиеУмозаключение Высказывание –логическое выражение, истинность которого требуется доказать Высказывание не может быть выражено повелительным или вопросительным предложением Высказывание имеет 2 значения:ложь – (false) – 0истина – (true) - 1 Высказывание – обозначается большими буквами латинского алфавита (А, В, С) ЛОГИЧЕСКИЕ ОПЕРАЦИИ Таблица истинности логического умножения Дизъюнкция (логическое сложение)читается обозначается А ν BДизъюнкция истинна, когда хотя бы одно высказывание истинноИЛИ Таблица истинности логического сложения Инверсия (логическое отрицание)читается обозначается А (не А)НЕ Таблица истинности логического отрицания Импликация (логическое следование)обозначается А BИмпликация ложна, тогда и только тогда, когда Таблица истинности логической функции «импликация» Эквивалентность (логическое равенство)обозначается А ~ BЭквивалентность истинна, тогда и только тогда, Таблица истинности логической функции эквивалентности Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными Даны выражения: иПостроить таблицы истинности и выяснить, равносильны ли данные выражения Список источников1. Учебник «Информатика и ИКТ» Семакин И.Г., изд. Москва «БИНОМ», 2014
Слайды презентации

Слайд 2 Первые учения
о формах и
способах
рассуждений
возникли

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


в странах
Древнего
Востока
(Китай, Индия)

Слайд 3 В основе современной
логики лежат учения,
созданные древнегреческими

В основе современной логики лежат учения, созданные древнегреческими мыслителями (Аристотель, Геродот)Аристотель


мыслителями (Аристотель, Геродот)
Аристотель 384-322 до н.э
Геродот ок 490-425 до

н.э

Слайд 4 ЛОГИКА –
наука о формах
и способах мышления

ЛОГИКА – наука о формах и способах мышления

Слайд 5 Законы мышления
отражают в
сознании человека свойства,
связи

Законы мышления отражают в сознании человека свойства, связи и отношения объектов окружающего мира

и отношения объектов
окружающего мира

Слайд 6 Высказывание
Понятие
Умозаключение

ВысказываниеПонятиеУмозаключение

Слайд 7 Высказывание –логическое
выражение, истинность
которого требуется доказать

Высказывание –логическое выражение, истинность которого требуется доказать

Слайд 8 Высказывание не может быть
выражено повелительным
или вопросительным

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

предложением

Слайд 9 Высказывание
имеет 2 значения:
ложь – (false) – 0
истина

Высказывание имеет 2 значения:ложь – (false) – 0истина – (true) - 1

– (true) - 1

Слайд 10 Высказывание –
обозначается большими
буквами латинского
алфавита (А,

Высказывание – обозначается большими буквами латинского алфавита (А, В, С)

В, С)

Слайд 11
ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

Слайд 12

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

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

Слайд 14 Дизъюнкция
(логическое сложение)
читается
обозначается А ν B

Дизъюнкция истинна,

Дизъюнкция (логическое сложение)читается обозначается А ν BДизъюнкция истинна, когда хотя бы одно высказывание истинноИЛИ


когда хотя бы одно
высказывание истинно
ИЛИ

Слайд 15 Таблица истинности логического сложения

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

Слайд 16
Инверсия
(логическое отрицание)
читается
обозначается
А (не А)


НЕ

Инверсия (логическое отрицание)читается обозначается А (не А)НЕ

Слайд 17 Таблица истинности логического отрицания

Таблица истинности логического отрицания

Слайд 18 Импликация
(логическое следование)
обозначается А B

Импликация ложна,
тогда

Импликация (логическое следование)обозначается А BИмпликация ложна, тогда и только тогда, когда из истины следует ложный вывод

и только тогда,
когда из истины следует
ложный вывод

Слайд 19 Таблица истинности логической функции «импликация»

Таблица истинности логической функции «импликация»

Слайд 20 Эквивалентность
(логическое равенство)
обозначается А ~ B

Эквивалентность истинна,

Эквивалентность (логическое равенство)обозначается А ~ BЭквивалентность истинна, тогда и только тогда,


тогда и только тогда,
когда оба высказывания
одновременно либо


ложны, либо истинны

Слайд 21 Таблица истинности логической функции эквивалентности

Таблица истинности логической функции эквивалентности

Слайд 22 Логические выражения,
у которых последние столбцы
таблиц истинности

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

совпадают,
называются равносильными

Слайд 23 Даны выражения:
и
Построить таблицы истинности и выяснить, равносильны

Даны выражения: иПостроить таблицы истинности и выяснить, равносильны ли данные выражения

ли данные выражения




  • Имя файла: osnovnye-zakony-algebry-logiki.pptx
  • Количество просмотров: 147
  • Количество скачиваний: 0
- Предыдущая Физико-механические свойства древесины
Следующая - Детоксикация красного шлама

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

Работа с файлами Работа с файлами 120
Практическая работа №4 по информатике на тему Компас Практическая работа №4 по информатике на тему Компас 152
Измерение информации Измерение информации 149
Единицы измерения информации Единицы измерения информации 124
Сканирование Сканирование 118
Презентация Части суток презентация к уроку по информатике (средняя группа) Презентация Части суток презентация к уроку по информатике (средняя группа) 138
Презентация по информатике на тему Архитектура ПК Презентация по информатике на тему Архитектура ПК 136
Расширенный поиск ошибочно введенных анкет в мероприятие Расширенный поиск ошибочно введенных анкет в мероприятие 120
Конспект открытого занятия Космическое путешествие с Роботом-Вертуном план-конспект занятия по информатике (подготовительная группа) Конспект открытого занятия Космическое путешествие с Роботом-Вертуном план-конспект занятия по информатике (подготовительная группа) 149
Компьютерные технологии Графический редактор Corel Draw Компьютерные технологии Графический редактор Corel Draw 149
Кодирование и обработка текстовой информации Кодирование и обработка текстовой информации 126
OpenOffice OpenOffice 140
Презентация по периферийные устройства на тему: Лазерные принтеры Презентация по периферийные устройства на тему: Лазерные принтеры 133
Создание веб сайта. Списки Создание веб сайта. Списки 149
Представление чисел в памяти компьютера Представление чисел в памяти компьютера 165
Мастер-класс по информатике Мастер-класс по информатике 142
Защита информации Защита информации 108
Презентация по информатике на тему:Программное обеспечение компьютера Презентация по информатике на тему:Программное обеспечение компьютера 162
Project-интерфейс и его возможности Project-интерфейс и его возможности 94
Презентация к уроку по математике и информатике по теме Решение задания С1 ЕГЭ по информатике и ИКТ Презентация к уроку по математике и информатике по теме Решение задания С1 ЕГЭ по информатике и ИКТ 131
Старая Русса Старая Русса 120
Нововведения в Windows 7 Нововведения в Windows 7 138
Презентация по теме Методы исследования Презентация по теме Методы исследования 162
Графический редактор PAINT (5 класс) Графический редактор PAINT (5 класс) 149
Компьютерные процессоры Компьютерные процессоры 107
Адресация в сети интернет Адресация в сети интернет 148
Родинне дерево Родинне дерево 118
Презентация по информатике Прикладное ПО Презентация по информатике Прикладное ПО 124
СЕКЦІЯ КОМП’ЮТЕРИЗОВАНИХ СИСТЕМ УПРАВЛІННЯ СЕКЦІЯ КОМП’ЮТЕРИЗОВАНИХ СИСТЕМ УПРАВЛІННЯ 143
Безопасность сетей - снифферы (sniffer) Безопасность сетей - снифферы (sniffer) 162