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

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

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

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

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

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

Презентация на тему Понятие математической логики

Содержание

Логика — наука о законах и правилах мышления.Формальная логика — наука о законах и формах мышления.Математическая логика изучает логические связи и отношения, лежащие в основе дедуктивного вывода.
ПОНЯТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ Логика — наука о законах и правилах мышления.Формальная логика — наука о В 4 века до н.э. древнегреческий ученый Аристотель заложил основы формальной Алгебра логики — это математический аппарат, с помощью которого записывается, вычисляется, упрощается 1. Инверсия• соответствует частице НЕ• обозначается ¬А• называется: отрицание 2. Конъюнкция• соответствует союзу И• обозначается &, ●• называется: логическое умножение 3. Дизъюнкция• соответствует союзу ИЛИ• обозначается v • называется: логическое сложение ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ В алгебре логики выполняются следующие основные законы, позволяющие Равносильные преобразования логических формул имеют то же назначение что и преобразования формул
Слайды презентации

Слайд 2 Логика — наука о законах и правилах мышления.
Формальная

Логика — наука о законах и правилах мышления.Формальная логика — наука

логика — наука о законах и формах мышления.
Математическая логика

изучает логические связи и отношения, лежащие в основе дедуктивного вывода.



Слайд 3 В 4 века до н.э. древнегреческий ученый

В 4 века до н.э. древнегреческий ученый Аристотель заложил основы

Аристотель заложил основы формальной логики. Он исследовал терминологию логики,

разобрал теорию умозаключений и доказательств, вывел понятие силлогизма.
В 16 веке в алгебре была создана буквенная символика. Она получила название алгебры логики, или математической логики. Основы математической логики заложил в 17 веке немецкий математик Лейбниц. Он сделал попытку построить первые логические исчисления. Лейбниц только развил идею, а окончательно развил и сформулировал ее ученый Джон Буль (1815-1864). В работах Буля логика приобрела свой алфавит, грамматику, орфографию. Поэтому иногда математическую логику называют Булевой алгеброй.

Слайд 4 Алгебра логики — это математический аппарат, с помощью

Алгебра логики — это математический аппарат, с помощью которого записывается, вычисляется,

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

математической логики является высказывание.
Высказывание — это повествовательное предложение, про которое всегда можно сказать истинное оно или ложное.
Истинные высказывания обозначаются — 1, а ложные — 0
Высказывания бывают просты и сложные. Сложные состоят из простых, соединенных знаками логических операций.
Высказывания обозначаются заглавными буквами латинского алфавита (простые): A,B,C,D…

Слайд 5 1. Инверсия
• соответствует частице НЕ
• обозначается ¬А
• называется: отрицание

1. Инверсия• соответствует частице НЕ• обозначается ¬А• называется: отрицание

Слайд 6 2. Конъюнкция
• соответствует союзу И
• обозначается &, ●
• называется:

2. Конъюнкция• соответствует союзу И• обозначается &, ●• называется: логическое умножение

логическое умножение

Слайд 7 3. Дизъюнкция
• соответствует союзу ИЛИ
• обозначается v
• называется:

3. Дизъюнкция• соответствует союзу ИЛИ• обозначается v • называется: логическое сложение

логическое сложение

Слайд 8 ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ

В алгебре логики выполняются следующие

ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ В алгебре логики выполняются следующие основные законы,

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


Слайд 9

  • Имя файла: ponyatie-matematicheskoy-logiki.pptx
  • Количество просмотров: 109
  • Количество скачиваний: 0
- Предыдущая Голосеменные растения 7 класс
Следующая - Равнобедренный треугольник 7 класс

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

Распределительный закон презентация к уроку по математике (3 класс) по теме Распределительный закон презентация к уроку по математике (3 класс) по теме 119
Интегрированный урок Интегрированный урок 134
Взаимное расположение прямой и окружности Взаимное расположение прямой и окружности 103
Картотека занятий Математика в движении картотека по математике Картотека занятий Математика в движении картотека по математике 88
Практическое применение логарифмов в экономике Практическое применение логарифмов в экономике 407
Знакомство с многоугольниками. презентация к уроку по математике (1 класс) Знакомство с многоугольниками. презентация к уроку по математике (1 класс) 140
Игра Поле Чудес классный час по математике (3 класс) Игра Поле Чудес классный час по математике (3 класс) 182
Иррациональные уравнения Иррациональные уравнения 109
Обыкновенные дроби. Смешанные дроби Обыкновенные дроби. Смешанные дроби 103
Деление с остатком презентация урока для интерактивной доски по математике (4 класс) по теме Деление с остатком презентация урока для интерактивной доски по математике (4 класс) по теме 46
Построение сечений многогранника Построение сечений многогранника 179
Геометрия в жизни Геометрия в жизни 175
Презентация к исследовательскому проекту Магические числа Презентация к исследовательскому проекту Магические числа 143
Деление на многозначные числа презентация к уроку по математике (4 класс) по теме Деление на многозначные числа презентация к уроку по математике (4 класс) по теме 102
Нахождение числа по его дроби Нахождение числа по его дроби 121
Конспект открытого занятия по математике в старшей группе Путешествие в страну Математики презентация к уроку по математике (старшая группа) Конспект открытого занятия по математике в старшей группе Путешествие в страну Математики презентация к уроку по математике (старшая группа) 281
Применение математических методов в профессиональной деятельности Применение математических методов в профессиональной деятельности 127
Умножение и деление натуральных чисел (презентация) Умножение и деление натуральных чисел (презентация) 112
Приведение к общему знаменателю Приведение к общему знаменателю 174
Методы решений заданий С5. Метод областей в решении задач Методы решений заданий С5. Метод областей в решении задач 102
Презентация к уроку Деление на десятичную дробь Презентация к уроку Деление на десятичную дробь 109
Сказка премудрости царицы математики видеоурок по математике (средняя группа) Сказка премудрости царицы математики видеоурок по математике (средняя группа) 224
Умножение и деление десятичных дробей на натуральные числа Умножение и деление десятичных дробей на натуральные числа 87
Умножение чисел, оканчивающихся нулями презентация к уроку по математике (4 класс) Умножение чисел, оканчивающихся нулями презентация к уроку по математике (4 класс) 113
Математический диктант № 5 Математический диктант № 5 109
Платоновы тела. Что это такое? - презентация к уроку геометрии в 5 классе Платоновы тела. Что это такое? - презентация к уроку геометрии в 5 классе 122
технологическая карта урока математике по теме: Примеры вида 26+7 план-конспект урока по математике (2 класс) технологическая карта урока математике по теме: Примеры вида 26+7 план-конспект урока по математике (2 класс) 122
Презентация к уроку Шире и уже. презентация к уроку по математике (1 класс) по теме Презентация к уроку Шире и уже. презентация к уроку по математике (1 класс) по теме 151
Моделирование поведения производителей Моделирование поведения производителей 134
Презентация Множество и его элементы Презентация Множество и его элементы 140