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

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

Презентация по информатике Представление числовой информации с помощью систем счисления, 10 класс Презентация по информатике Представление числовой информации с помощью систем счисления, 10 класс 204
Методология моделирования потоков данных DFD Методология моделирования потоков данных DFD 160
Программное обеспечение компьютера Программное обеспечение компьютера 119
Основные устройства внешней памяти Основные устройства внешней памяти 105
Работа с пакетом ArcView 3.2a Работа с пакетом ArcView 3.2a 108
Моделирование, формализация и визуализация Моделирование, формализация и визуализация 142
Презентация по информатике на тему Конструктор презентаций Power Point Презентация по информатике на тему Конструктор презентаций Power Point 177
Новые возможности интернет-рекламы Новые возможности интернет-рекламы 186
омпьютерные вирусы. Антивирусные программы. омпьютерные вирусы. Антивирусные программы. 145
Компьютерлік графикалық жүйелер пәні бойынша электрондық оқулық құру әдістемесі. Компьютерлік графикалық жүйелер пәні бойынша электрондық оқулық құру әдістемесі. 222
Презентация по информатике Информатика әлемінде (6 сынып) Презентация по информатике Информатика әлемінде (6 сынып) 225
Как празднуют новый год люди всех земных широт Как празднуют новый год люди всех земных широт 141
Деловой чат-бот Деловой чат-бот 134
Слайд-шоу и фотоальбом в Power Point Слайд-шоу и фотоальбом в Power Point 140
Ввод и редактирование данных в БД Ввод и редактирование данных в БД 152
Источники оптического импульсного когерентного излучения для информационных систем Источники оптического импульсного когерентного излучения для информационных систем 126
Создание веб-страниц в WORD Создание веб-страниц в WORD 124
Логическое программирование Логическое программирование 169
Информатика 11 класс. Двоичная арифметика Информатика 11 класс. Двоичная арифметика 147
Алгоритм и его формальное исполнение Алгоритм и его формальное исполнение 171
Технология программирования Технология программирования 123
Познакомимся поближе! 2 класс Познакомимся поближе! 2 класс 112
Условная функция со сложными условиями в EXCEL Условная функция со сложными условиями в EXCEL 154
Языки программирования Языки программирования 145
Устройства вывода данных Устройства вывода данных 127
Формирование библиотечных фондов Формирование библиотечных фондов 177
Преобразование логических выражений Преобразование логических выражений 141
Базы данных Базы данных 154
Вставка объектов в документ Вставка объектов в документ 139
Презентация по информатике на тему: Интересные факты об ЭВМ Презентация по информатике на тему: Интересные факты об ЭВМ 173