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

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

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

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

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

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

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

Содержание

ЛОГИКАЛогика — наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний (утверждений).Математическая логика — современная форма логики, опирающаяся на формальные математические методы.
ОСНОВЫ ЛОГИКИАЛГЕБРА ВЫСКАЗЫВАНИЙ ЛОГИКАЛогика — наука, изучающая методы установления истинности или ложности одних высказываний на АЛГЕБРА ЛОГИКИАлгебра логики — это математический аппарат, с помощью которого записывают, вычисляют, АЛГЕБРА ЛОГИКИСуществуют три основные логические операции:Отрицание (инверсия, операция, выражаемая словом “не”). Дизъюнкция ЛОГИЧЕСКИЕ ФУНКЦИИЛогический элемент — это устройство, реализующее ту или иную логическую функцию. логические операцииконъюнкциялогическое умножение операция И */\Составное высказывание , образованное в результате операции логические операциидизъюнкциялогическое сложение операция ИЛИ +\/Составное высказывание , образованное в результате операции логические операцииинверсиялогическое отрицание операция НЕ -AСоставное высказывание , образованное в результате операции логические операцииимпликациялогическое следование ->Составное высказывание , образованное в результате операции логического следования логические операцииэквивалентностьСоставное высказывание , образованное в результате операции эквивалентности, истинно тогда и
Слайды презентации

Слайд 2 ЛОГИКА
Логика — наука, изучающая методы установления истинности или

ЛОГИКАЛогика — наука, изучающая методы установления истинности или ложности одних высказываний

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

высказываний (утверждений).

Математическая логика — современная форма логики, опирающаяся на формальные математические методы.

Слайд 3 АЛГЕБРА ЛОГИКИ
Алгебра логики — это математический аппарат, с

АЛГЕБРА ЛОГИКИАлгебра логики — это математический аппарат, с помощью которого записывают,

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

высказывание — это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.

Слайд 4 АЛГЕБРА ЛОГИКИ
Существуют три основные логические операции:
Отрицание (инверсия, операция,

АЛГЕБРА ЛОГИКИСуществуют три основные логические операции:Отрицание (инверсия, операция, выражаемая словом “не”).

выражаемая словом “не”).
Дизъюнкция (логическое сложение, операция, выражаемая связкой

“или” +,\/).

Конъюнкция (логическое умножение, операция, выражаемая связкой “и”- /\).

Слайд 5 ЛОГИЧЕСКИЕ ФУНКЦИИ
Логический элемент — это устройство, реализующее ту

ЛОГИЧЕСКИЕ ФУНКЦИИЛогический элемент — это устройство, реализующее ту или иную логическую

или иную логическую функцию. Y = f(X1,X2,X3,...,Xn) — логическая

функция, может быть задана таблицей, которая называется таблицей истинности.

Логическая функция — это функция логических переменных, которая может принимать только два значения: 0 или 1.

Слайд 6 логические операции
конъюнкция
логическое умножение
операция И
*
/\
Составное высказывание ,

логические операцииконъюнкциялогическое умножение операция И */\Составное высказывание , образованное в результате

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

и только тогда, когда истинны все входящие в него простые высказывания.

Слайд 7 логические операции
дизъюнкция
логическое сложение
операция ИЛИ
+
\/
Составное высказывание ,

логические операциидизъюнкциялогическое сложение операция ИЛИ +\/Составное высказывание , образованное в результате

образованное в результате операции логического сложения (дизъюнкции), истинно тогда

и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

Слайд 8 логические операции
инверсия
логическое отрицание
операция НЕ
-
A
Составное высказывание ,

логические операцииинверсиялогическое отрицание операция НЕ -AСоставное высказывание , образованное в результате

образованное в результате операции логического отрицания делает истинное высказывание

ложным, а ложное истинным.

Слайд 9 логические операции
импликация
логическое следование

->
Составное высказывание , образованное в

логические операцииимпликациялогическое следование ->Составное высказывание , образованное в результате операции логического

результате операции логического следования (импликации), ложно тогда и только

тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод (второе высказывание).
  • Имя файла: osnovy-logiki-algebra-vyskazyvaniy.pptx
  • Количество просмотров: 94
  • Количество скачиваний: 0
- Предыдущая The тower of London
Следующая - Функциялық ортодонтиялық аппарттар

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

Свойства интерфейса Свойства интерфейса 100
Чем могут быть полезны голограммы? Чем могут быть полезны голограммы? 86
Алгоритм Алгоритм 101
Компьютерные вирусы. Антивирусные программы. презентация. Компьютерные вирусы. Антивирусные программы. презентация. 103
Электронные таблицы в 9 классе Электронные таблицы в 9 классе 146
Современные процессоры Intel и AMD Современные процессоры Intel и AMD 103
Презентация по информатике на тему Структурированный тип данных Презентация по информатике на тему Структурированный тип данных 175
Презентация по информатике на тему ЗАДАНИЯ С РЕШЕНИЕМ ДЛЯ ЗАКРЕПЛЕНИЯ ТЕМЫ “МАССИВЫ” В PASCAL. Презентация по информатике на тему ЗАДАНИЯ С РЕШЕНИЕМ ДЛЯ ЗАКРЕПЛЕНИЯ ТЕМЫ “МАССИВЫ” В PASCAL. 114
Варианты создания UI в Android Варианты создания UI в Android 129
Шагающий робот Трипод Презентация к уроку с инструкцией по сборке робота Шагающий робот Трипод Презентация к уроку с инструкцией по сборке робота 158
Кодирование и обработка числовой информации Кодирование и обработка числовой информации 120
Аппаратное и программное обеспечение сети Аппаратное и программное обеспечение сети 163
Средства массовой информации Средства массовой информации 103
Информационные ресурсы компьютерных сетей Информационные ресурсы компьютерных сетей 126
Возможности сервисов Google в организации современного урока Возможности сервисов Google в организации современного урока 86
Устройство компьютера Устройство компьютера 100
Система управления базами данных Access Система управления базами данных Access 83
Презентация к уроку информатика на тему Программное обеспечения ОС Презентация к уроку информатика на тему Программное обеспечения ОС 129
Функциональное описание и моделирование систем Функциональное описание и моделирование систем 117
Кодирование и обработка звуковой информации 9 класс Кодирование и обработка звуковой информации 9 класс 110
Формы записи алгоритмов Формы записи алгоритмов 107
Презентация к уроку в 9 классе Массивы в Паскале Презентация к уроку в 9 классе Массивы в Паскале 128
Ввод, вывод элементов одномерных и двумерных массивов Ввод, вывод элементов одномерных и двумерных массивов 182
Глобальные компьютерные сети Глобальные компьютерные сети 209
Организация корпоративной защиты от вредоносных программ Организация корпоративной защиты от вредоносных программ 153
Наследование ( C#, Лекция 2) Наследование ( C#, Лекция 2) 102
Моделирование, формализация визуализация Моделирование, формализация визуализация 109
Принтер, его устройство и работа Принтер, его устройство и работа 108
Передача информации по техническим каналам связи Передача информации по техническим каналам связи 127
Программное обеспечение компьютера Программное обеспечение компьютера 211