Что такое 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 Даны выражения:
и
Построить таблицы истинности и выяснить, равносильны

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

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




  • Имя файла: prezentatsiya-po-informatike-na-temu-osnovnye-zakony-algebry-logiki.pptx
  • Количество просмотров: 140
  • Количество скачиваний: 0
- Предыдущая Презентация Совместная работа классного руководителя и семьи по сохранению психологического здоровья школьника
Следующая - Презентация по русскому языку на тему Имя существительное (5 класс)

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

История вычислительной техники История вычислительной техники 126
Презентация по информатике Файлдар мен бумалар (6 сынып) Презентация по информатике Файлдар мен бумалар (6 сынып) 228
Художественное творчество, как образное мышление и как рождение особой реальности Художественное творчество, как образное мышление и как рождение особой реальности 134
Защита информации от вредоносных программ Защита информации от вредоносных программ 128
Знакомство с языком С++ Знакомство с языком С++ 132
Компьютер на службе у человека Компьютер на службе у человека 145
Компьютерные вирусы Компьютерные вирусы 135
Сущность и понятие информационной безопасности (ИБ). Место информационной безопасности в национальной безопасности страны Сущность и понятие информационной безопасности (ИБ). Место информационной безопасности в национальной безопасности страны 147
Концепция нормативного правового обеспечения информационной безопасности в РФ Концепция нормативного правового обеспечения информационной безопасности в РФ 162
Вимірювання - основний метод збору даних. (Лекція 7) Вимірювання - основний метод збору даних. (Лекція 7) 102
Ввод и обработка цифровой информации XSL Ввод и обработка цифровой информации XSL 137
Кодирование информации с помощью знаковых систем Кодирование информации с помощью знаковых систем 97
Оператор выбора Case Оператор выбора Case 113
Кодирование информации. Языки кодирования Кодирование информации. Языки кодирования 133
Электронные презентации Электронные презентации 132
Способы решения уравнений с помощью компьютера Способы решения уравнений с помощью компьютера 171
Создание Web-страниц Создание Web-страниц 156
Устройства ввода информации Устройства ввода информации 139
Графические редакторы Графические редакторы 94
Презентация по базам данных на тему введение в БД Презентация по базам данных на тему введение в БД 142
Estonian example of integration e-government services Estonian example of integration e-government services 117
Презентация к уроку Алгоритмыс условием (3 класс) Презентация к уроку Алгоритмыс условием (3 класс) 159
Презентация Части суток презентация к уроку по информатике (средняя группа) Презентация Части суток презентация к уроку по информатике (средняя группа) 138
Константы. Операции и знаки операций. Массивы, инициализаторы коллекций и перечисления Константы. Операции и знаки операций. Массивы, инициализаторы коллекций и перечисления 115
История развития ЭВМ История развития ЭВМ 132
Безопасный интернет Безопасный интернет 112
Programming with Excel Programming with Excel 139
Программное обеспечение SYSWIN Программное обеспечение SYSWIN 135
Презентация по информатике на тему Екілік арифметика. Арифметикалық амалдар (8 сынып) Презентация по информатике на тему Екілік арифметика. Арифметикалық амалдар (8 сынып) 161
Символьные и Строковые величины Символьные и Строковые величины 172