Что такое 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
  • Количество просмотров: 144
  • Количество скачиваний: 0
- Предыдущая Развитие и обогащение словаря ребенка
Следующая - Великая Китайская стена в истории Древнего Китая и ее соседей

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

Первое знакомство с компьютером Первое знакомство с компьютером 143
Третий-лишний. Назовите лишнее высказывание Третий-лишний. Назовите лишнее высказывание 112
Как компьютер сделать помощником в развитии детей Как компьютер сделать помощником в развитии детей 131
Организация работы кружка Юный информатик Организация работы кружка Юный информатик 106
Программа Компьютер для учителя Программа Компьютер для учителя 124
Схема состава объекта Схема состава объекта 141
Классификация компьютеров по функциональным возможностям Классификация компьютеров по функциональным возможностям 112
Файл и файловая система Файл и файловая система 127
MSC.Mvision - 13-1 MSC.Mvision - 13-1 139
Разветвленный алгоритм Разветвленный алгоритм 120
Кодирование и обработка графической информации Кодирование и обработка графической информации 119
Почему пользователи нарушают закон, приобретая программное обеспечение? Почему пользователи нарушают закон, приобретая программное обеспечение? 106
ОПЕРАЦИОННЫЕ СИСТЕМЫ, СРЕДЫ И ОБОЛОЧКИ ОПЕРАЦИОННЫЕ СИСТЕМЫ, СРЕДЫ И ОБОЛОЧКИ 176
Презентация по самообразованию Использование информационно компьютерных технологий в коррекционно –развивающей и реабилитационной работе с детьми с ментальными нарушениями Презентация по самообразованию Использование информационно компьютерных технологий в коррекционно –развивающей и реабилитационной работе с детьми с ментальными нарушениями 125
Системы хранения даных Системы хранения даных 158
Программный комплекс Gate-персонал Программный комплекс Gate-персонал 159
ПЕРСОНАЛЬНЫЙ КОМПЬЮТЕР КАК СИСТЕМА ПЕРСОНАЛЬНЫЙ КОМПЬЮТЕР КАК СИСТЕМА 167
ОСНОВЫ КОМПЬЮТЕРНОЙ ГРАФИКИ ОСНОВЫ КОМПЬЮТЕРНОЙ ГРАФИКИ 132
Аналогия и закономерность Аналогия и закономерность 180
Аппаратная реализация компьютера Аппаратная реализация компьютера 123
Декодирование информации Декодирование информации 122
ОС Виндовс ОС Виндовс 131
Встраивание в презентацию звуковых, видео, флеш-файлов Встраивание в презентацию звуковых, видео, флеш-файлов 92
Основы логики Основы логики 143
Подходы к измерению информации Подходы к измерению информации 166
Оператор If (C#) Оператор If (C#) 124
Исследование объектов с помощью цифрового микроскопа Digital Blue QX5 Исследование объектов с помощью цифрового микроскопа Digital Blue QX5 153
Библиографические пособия. Пишем реферат, курсовую, диплом Библиографические пособия. Пишем реферат, курсовую, диплом 127
Презентация по информатике на тему Организация ввода и вывода данных при разработке программ Презентация по информатике на тему Организация ввода и вывода данных при разработке программ 149
Компьютерная графика. Графический редактор Paint Компьютерная графика. Графический редактор Paint 117