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

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

Алгоритмы и команда присваивания Алгоритмы и команда присваивания 114
КОЛИЧЕСТВО ИНФОРМАЦИИ КАК МЕРА УМЕНЬШЕНИЯ НЕОПРЕДЕЛЕННОСТИ ЗНАНИЯ КОЛИЧЕСТВО ИНФОРМАЦИИ КАК МЕРА УМЕНЬШЕНИЯ НЕОПРЕДЕЛЕННОСТИ ЗНАНИЯ 128
Шығармашылық кеш. Бақытты сәт Шығармашылық кеш. Бақытты сәт 205
Flash память Flash память 111
Тема 11. Занятие 2. Мероприятия по контролю эффективности инженернотехнической защиты информации Тема 11. Занятие 2. Мероприятия по контролю эффективности инженернотехнической защиты информации 114
Файловая структура диска_7 класс Файловая структура диска_7 класс 141
Ақпаратты сақтау және қорғау әдістері Ақпаратты сақтау және қорғау әдістері 166
Программное обеспечение компьютера Программное обеспечение компьютера 108
MasterTool 6 клас MasterTool 6 клас 166
ПОСТРОЕНИЕ ДИАГРАММ И ГРАФИКОВ ПОСТРОЕНИЕ ДИАГРАММ И ГРАФИКОВ 122
OpenGL и Direct3D OpenGL и Direct3D 128
Окно Word Окно Word 138
Видеоадаптеры Видеоадаптеры 123
RUSSIA.TV. Официальный сайт телеканала РОССИЯ 1 RUSSIA.TV. Официальный сайт телеканала РОССИЯ 1 118
Презентация по информатике в 10 классе Понятие мультимедиа Презентация по информатике в 10 классе Понятие мультимедиа 126
Урок 32. Применение изучаемых приёмов фантазирования к алгоритмам, объектам Урок 32. Применение изучаемых приёмов фантазирования к алгоритмам, объектам 135
Виды информационных систем Виды информационных систем 208
Вычислительные сети Вычислительные сети 125
Презентация по информатике на тему Криптология: подстановочно-перестановочный шифр и его применение Презентация по информатике на тему Криптология: подстановочно-перестановочный шифр и его применение 203
Основы HTML. Разработка Web-сайта Основы HTML. Разработка Web-сайта 216
Презентация Домашние животные. презентация к занятию по информатике (младшая группа) по теме Презентация Домашние животные. презентация к занятию по информатике (младшая группа) по теме 159
Клавиатуры и мыши Клавиатуры и мыши 199
ИГРА ПО ТЕМЕ: СИСТЕМЫ СЧИСЛЕНИЯ ИГРА ПО ТЕМЕ: СИСТЕМЫ СЧИСЛЕНИЯ 153
Лекція 3. Тема: Робота з формулами та функціями в табличному процесорі MS Excel Лекція 3. Тема: Робота з формулами та функціями в табличному процесорі MS Excel 106
Total commander Total commander 150
Информационная культура человека Информационная культура человека 177
Правила создания компьютерной презентации Правила создания компьютерной презентации 92
Условный оператор. Оператор выбора Условный оператор. Оператор выбора 123
Безопасность в социальных сетях Безопасность в социальных сетях 132
Двоичное кодирование чисел в компьютере Двоичное кодирование чисел в компьютере 150