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

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

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

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

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

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

Презентация на тему Формальная логика

Содержание

Слово «ЛОГИКА» означает- совокупность правил, которым подчиняется процесс мышленияЗаконы Логики отражают в сознании человека свойства, связи и отношения объектов окружающего мираЛогика как наука позволяет строить формальные модели окружающего мира (отстраняясь от их содержательной стороны)
Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил Слово «ЛОГИКА» означает- совокупность правил, которым подчиняется процесс мышленияЗаконы Логики отражают в Основные формы МЫШЛЕНИЯПонятие- это форма мышления, которая выделяет существенные признаки предмета или ПримерыКвадрат «Принтер предназначен для ввода информации»Ураганный ветер Доказательство теоремы«Дважды два равно четырем»ПонятиеСуждение ложноеПонятиеУмозаключениеСуждение истинное Формальная логикаэто наука о законах и формах мышленияМатематическая логика изучает вопросы применения математических Суждения в математической логике называют высказываниями или логическими выражениямиВысказывание – это повествовательное Сложное (составное) высказывание -получается из простых или сложных высказываний с использованием союзов Пример: Составь сложно высказывание с союзом И, ИЛИ Простое высказывание: «На улице Логическое выражение -это символическая запись, состоящая из логических величин (констант или переменных), Логические операции и их свойства Таблица истинности - это таблица со всеми возможными значениями входных переменных и соответствующими ИнверсияОдноместная логическая операцияЧастица «НЕ»Иначе называется: Логическим отрицаниемОбозначение: А, КонъюнкцияДвухместная логическая операцияСоюз «И»Иначе называется: Логическим умножениемОбозначение: А&B, А B, АxB, ДизъюнкцияДвухместная логическая операцияСоюз «ИЛИ»Иначе называется: Логическим сложениемОбозначение: АVB, А+BРезультат ДИЗЪЮНКЦИИ будет истинным, ИмпликацияУсловная двухместная логическая операцияСвязка «ЕСЛИ…, ТО…»Иначе называется: Логическим следованиемОбозначение: А=>BРезультат ИМПЛИКАЦИИ будет ЭквивалентностьДвухместная логическая операцияСвязка «ТОГДА И ТОЛЬКО ТОГДА, КОГДА»Иначе называется: РавнозначностьюОбозначение: АBРезультат ЭКВИВАЛЕНТНОСТИ ЛитератураЕ.С.Кутугина «Арифметические и логические основы построения компьютера». Издание третье.Томск, 2007 год.
Слайды презентации

Слайд 2 Слово «ЛОГИКА» означает
- совокупность правил, которым подчиняется процесс

Слово «ЛОГИКА» означает- совокупность правил, которым подчиняется процесс мышленияЗаконы Логики отражают

мышления

Законы Логики отражают в сознании человека свойства, связи и

отношения объектов окружающего мира

Логика как наука позволяет строить формальные модели окружающего мира (отстраняясь от их содержательной стороны)

Слайд 3 Основные формы МЫШЛЕНИЯ
Понятие-
это форма мышления, которая выделяет существенные

Основные формы МЫШЛЕНИЯПонятие- это форма мышления, которая выделяет существенные признаки предмета или

признаки предмета или класса предметов, отличающие его от других
Суждение-
это

мысль, в которой что-то утверждается или отрицается

Умозаключение-
это прием мышления, позволяющий на основе одного или нескольких суждений (посылок) получить новое суждение (вывод)

Слайд 4 Примеры
Квадрат
«Принтер предназначен для ввода информации»
Ураганный ветер
Доказательство

ПримерыКвадрат «Принтер предназначен для ввода информации»Ураганный ветер Доказательство теоремы«Дважды два равно четырем»ПонятиеСуждение ложноеПонятиеУмозаключениеСуждение истинное

теоремы
«Дважды два равно четырем»
Понятие
Суждение ложное
Понятие
Умозаключение
Суждение истинное

Слайд 5 Формальная логика
это наука о законах и формах мышления
Математическая

Формальная логикаэто наука о законах и формах мышленияМатематическая логика изучает вопросы применения

логика
изучает вопросы применения математических методов для решения логических задач

и построения логических схем, которые лежат в основе работы любого компьютера

Слайд 6 Суждения в математической логике называют высказываниями или логическими

Суждения в математической логике называют высказываниями или логическими выражениямиВысказывание – это

выражениями
Высказывание – это повествовательное предложение, о котором можно сказать,

истинно оно или ложно.

Примеры:
Каждый ромб – параллелограмм (истинно)
Каждый параллелограмм – ромб (ложно)
Каждый треугольник – равнобедренный треугольник (ложно)
Каждый равнобедренный треугольник – треугольник (истинно)

Слайд 7 Сложное (составное) высказывание -
получается из простых или сложных

Сложное (составное) высказывание -получается из простых или сложных высказываний с использованием

высказываний с использованием союзов «И», «ИЛИ» и частицы «НЕ»

Простые

ИЛИ сложные высказывания также называют логическими выражениями

Слайд 8 Пример: Составь сложно высказывание с союзом И, ИЛИ
Простое

Пример: Составь сложно высказывание с союзом И, ИЛИ Простое высказывание: «На

высказывание:
«На улице светит солнце»
Простое высказывание:
«На улице пасмурная

погода»

Сложное высказывание с союзом «И»:
«На улице светит солнце И на улице пасмурная погода»
ЛОЖНО
Сложное высказывание с союзом «ИЛИ»:
«На улице светит солнце ИЛИ на улице пасмурная погода»
ИСТИННО

Слайд 9 Логическое выражение -
это символическая запись, состоящая из логических

Логическое выражение -это символическая запись, состоящая из логических величин (констант или

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

обозначения
истинности или ложности переменных

Слайд 10 Логические операции и их свойства

Логические операции и их свойства

Слайд 11 Таблица истинности
- это таблица со всеми возможными значениями

Таблица истинности - это таблица со всеми возможными значениями входных переменных и

входных переменных и соответствующими им значениями логической функции
Логическая функция
-

это в которой переменные принимают только два значения: логическая единица и логический нуль

Слайд 12 Инверсия
Одноместная логическая операция
Частица «НЕ»
Иначе называется: Логическим отрицанием
Обозначение: А,

ИнверсияОдноместная логическая операцияЧастица «НЕ»Иначе называется: Логическим отрицаниемОбозначение: А, АРезультат

А
Результат ИНВЕРСИИ будет ложным, если

исходное выражение истинно, и наоборот.

Слайд 13 Конъюнкция
Двухместная логическая операция
Союз «И»
Иначе называется: Логическим умножением
Обозначение: А&B,

КонъюнкцияДвухместная логическая операцияСоюз «И»Иначе называется: Логическим умножениемОбозначение: А&B, А B, АxB,

А B, АxB, АB
Результат КОНЪЮНКЦИИ будет истинным, тогда

и только тогда, когда истинны оба исходных логических выражения одновременно.

Слайд 14 Дизъюнкция
Двухместная логическая операция
Союз «ИЛИ»
Иначе называется: Логическим сложением
Обозначение: АVB,

ДизъюнкцияДвухместная логическая операцияСоюз «ИЛИ»Иначе называется: Логическим сложениемОбозначение: АVB, А+BРезультат ДИЗЪЮНКЦИИ будет

А+B
Результат ДИЗЪЮНКЦИИ будет истинным, тогда и только тогда, когда

истинно хотя бы одно из исходных логических выражений.

Слайд 15 Импликация
Условная двухместная логическая операция
Связка «ЕСЛИ…, ТО…»
Иначе называется: Логическим

ИмпликацияУсловная двухместная логическая операцияСвязка «ЕСЛИ…, ТО…»Иначе называется: Логическим следованиемОбозначение: А=>BРезультат ИМПЛИКАЦИИ

следованием
Обозначение: А=>B
Результат ИМПЛИКАЦИИ будет ложным, тогда и только тогда,

когда условие истинно, а следствие ложно.

Слайд 16 Эквивалентность
Двухместная логическая операция
Связка «ТОГДА И ТОЛЬКО ТОГДА, КОГДА»
Иначе

ЭквивалентностьДвухместная логическая операцияСвязка «ТОГДА И ТОЛЬКО ТОГДА, КОГДА»Иначе называется: РавнозначностьюОбозначение: АBРезультат

называется: Равнозначностью
Обозначение: АB
Результат ЭКВИВАЛЕНТНОСТИ будет истинным, тогда и только

тогда, когда оба исходных выражения одновременно истинны или ложны.
  • Имя файла: formalnaya-logika.pptx
  • Количество просмотров: 126
  • Количество скачиваний: 0
- Предыдущая Флорбол
Следующая - Оскар Уайльд

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

Методы построения и анализа алгоритмов. Общая идея структурного синтеза программ Методы построения и анализа алгоритмов. Общая идея структурного синтеза программ 106
Презентация для объяснения нового материала по информатике на тему Компьютер - универсальная машина для работы с информацией Презентация для объяснения нового материала по информатике на тему Компьютер - универсальная машина для работы с информацией 105
Аттестационная работа. Многокритериальная многопутевая маршрутизация в mesh-сетях Аттестационная работа. Многокритериальная многопутевая маршрутизация в mesh-сетях 124
Презентация Перевод чисел в позиционных системах счисления Презентация Перевод чисел в позиционных системах счисления 127
Понятие об информации Понятие об информации 105
Личный кабинет дошкольника Личный кабинет дошкольника 88
Системы искусственного интеллекта Системы искусственного интеллекта 91
Системное программное обеспечение Системное программное обеспечение 144
Использование ИКТ в работе воспитателя ДОУ презентация по информатике Использование ИКТ в работе воспитателя ДОУ презентация по информатике 123
Основные этапы разработки и исследования моделей на компьютере Основные этапы разработки и исследования моделей на компьютере 88
Алгоритм индуцирования знаний из БД Алгоритм индуцирования знаний из БД 93
Робототехника и искусственный интеллект Робототехника и искусственный интеллект 117
Основы социальной информатики Основы социальной информатики 122
Форматирование текста Форматирование текста 101
Основные правила создания презентации Основные правила создания презентации 116
Презентация по информатике на тему: Устройства ввода и вывода информации (5 класс) Презентация по информатике на тему: Устройства ввода и вывода информации (5 класс) 114
Выбор текста документа Выбор текста документа 157
Компьютер и ПО Компьютер и ПО 135
ДЕЙСТВИЯ С ИНФОРМАЦИЕЙ ДЕЙСТВИЯ С ИНФОРМАЦИЕЙ 103
Формы записи алгоритма. Линейный алгоритм Формы записи алгоритма. Линейный алгоритм 123
Презентация по информатике Своя игра Презентация по информатике Своя игра 113
Устройства вывода информации, монитор Устройства вывода информации, монитор 112
Презентация к уроку информатики в 9 классе Интернет добро или зло? Презентация к уроку информатики в 9 классе Интернет добро или зло? 125
Электронное правительство РФ Электронное правительство РФ 176
Форматы графических файлов (презентация) Форматы графических файлов (презентация) 126
Графика в Paint Графика в Paint 180
Презентація з інформатика на тему Базові алгоритмічні структури:структури повторення та розгалуження(7 клас) Презентація з інформатика на тему Базові алгоритмічні структури:структури повторення та розгалуження(7 клас) 119
Презентация по информатике на тему Компьютерная графика (5 класс) Презентация по информатике на тему Компьютерная графика (5 класс) 103
Презентация по информатике на тему: Информационные процессы Презентация по информатике на тему: Информационные процессы 105
Архивация Архивация 83