Математическая логика

Август 9, 2022

Главная
Информатика
Математическая логика

Содержание

2. Что такое логика? LOGOS (ГРЕЧ.)- СЛОВО, ПОНЯТИЕ, РАССУЖДЕНИЕ, РАЗУМ. СЛОВО «ЛОГИКА» ОБОЗНАЧАЕТ СОВОКУПНОСТЬ ПРАВИЛ, КОТОРЫМ ПОДЧИНЯЕТСЯ
3. Математическая логика МАТЕМАТИЧЕСКАЯ ЛОГИКА - ИЗУЧАЕТ ЛОГИЧЕСКИЕ СВЯЗИ И ОТНОШЕНИЯ, ЛЕЖАЩИЕ В ОСНОВЕ ЛОГИЧЕСКОГО (ДЕДУКТИВНОГО) ВЫВОДА.
4. РАЗВИТИЯ ЛОГИКИ. АРИСТОТЕЛЬ (384-322 ГГ. ДО Н.Э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ. КНИГИ: «КАТЕГОРИИ» «ПЕРВАЯ АНАЛИТИКА» «ВТОРАЯ АНАЛИТИКА»
5. СИЛЛОГИЗМ РАССУЖДЕНИЕ, В КОТОРОМ ИЗ ЗАДАННЫХ ДВУХ СУЖДЕНИЙ ВЫВОДИТСЯ ТРЕТЬЕ. 1. ВСЕ МЛЕКОПИТАЮЩИЕ ИМЕЮТ СКЕЛЕТ. ВСЕ
6. Декарт Рене Декарт Рене (1596-1650, фр. Философ, математик) РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗОВАТЬ МАТЕМАТИЧЕСКИЕ МЕТОДЫ
7. Лейбниц Г.В. Лейбниц Г.В. (1646-1716, нем. ученый и математик) - ПРЕДЛОЖИЛ ИСПОЛЬЗОВАТЬ В ЛОГИКЕ МАТЕМАТИЧЕСКУЮ СИМВОЛИКУ
8. ПРИМЕНЕНИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. 1) Логика оказала влияние на развитие математики, прежде всего теории множеств, функциональных систем,
9. АЛГЕБРА ЛОГИКИ (ВЫСКАЗЫВАНИЙ) РАЗДЕЛ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, ИЗУЧАЮЩИЙ ВЫСКАЗЫВАНИЯ И ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД НИМИ
10. ИНВЕРСИЯ (ЛОГИЧЕСКОЕ ОТРИЦАНИЕ) ПРИСОЕДИНЕНИЕ ЧАСТИЦЫ «НЕ» К СКАЗУЕМОМУ ДАННОГО ПРОСТОГО ВЫСКАЗЫВАНИЯ ИЛИ ПРИСОЕДИНЕНИЕ СЛОВ «НЕВЕРНО ЧТО...»
11. ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ) СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В ОДНО С ПОМОЩЬЮ СОЮЗА «ИЛИ», УПОТРЕБЛЯЕМОГО В
13. Скачать презентацию

Слайд 2

Что такое логика?
LOGOS (ГРЕЧ.)- СЛОВО, ПОНЯТИЕ, РАССУЖДЕНИЕ, РАЗУМ. СЛОВО «ЛОГИКА» ОБОЗНАЧАЕТ

СОВОКУПНОСТЬ ПРАВИЛ, КОТОРЫМ ПОДЧИНЯЕТСЯ ПРОЦЕСС МЫШЛЕНИЯ. ОСНОВНЫМИ ФОРМАМИ АБСТРАКТНОГО МЫШЛЕНИЯ ЯВЛЯЮТСЯ: ПОНЯТИЯ, СУЖДЕНИЯ, УМОЗАКЛЮЧЕНИЯ.

Слайд 3

Математическая логика
МАТЕМАТИЧЕСКАЯ ЛОГИКА - ИЗУЧАЕТ ЛОГИЧЕСКИЕ СВЯЗИ И ОТНОШЕНИЯ, ЛЕЖАЩИЕ В

ОСНОВЕ ЛОГИЧЕСКОГО (ДЕДУКТИВНОГО) ВЫВОДА. ЛОГИКА (ФОРМАЛЬНАЯ) - НАУКА О ЗАКОНАХ И ФОРМАХ ПРАВИЛЬНОГО МЫШЛЕНИЯ.

Слайд 4

РАЗВИТИЯ ЛОГИКИ.
АРИСТОТЕЛЬ (384-322 ГГ. ДО Н.Э.) -
ОСНОВОПОЛОЖНИК ЛОГИКИ. КНИГИ: «КАТЕГОРИИ»

«ПЕРВАЯ АНАЛИТИКА» «ВТОРАЯ АНАЛИТИКА» (ИССЛЕДОВАЛ РАЗЛИЧНЫЕ ФОРМЫ РАССУЖДЕНИЙ, ВВЕЛ ПОНЯТИЕ СИЛЛОГИЗМА)

Слайд 5

СИЛЛОГИЗМ
РАССУЖДЕНИЕ, В КОТОРОМ ИЗ ЗАДАННЫХ ДВУХ СУЖДЕНИЙ ВЫВОДИТСЯ ТРЕТЬЕ. 1. ВСЕ

МЛЕКОПИТАЮЩИЕ ИМЕЮТ СКЕЛЕТ. ВСЕ КИТЫ - МЛЕКОПИТАЮЩИЕ. СЛЕДОВАТЕЛЬНО, ВСЕ КИТЫ ИМЕЮТ СКЕЛЕТ. 2. ВСЕ КВАДРАТЫ - РОМБЫ. ВСЕ РОМБЫ - ПАРАЛЛЕЛЕГРАММЫ. СЛЕДОВАТЕЛЬНО, ВСЕ КВАДРАТЫ - ПАРАЛЛЕЛОГРАММЫ.

Слайд 6

Декарт Рене
Декарт Рене (1596-1650, фр. Философ, математик) РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗОВАТЬ

МАТЕМАТИЧЕСКИЕ МЕТОДЫ

Слайд 7

Лейбниц Г.В.
Лейбниц Г.В. (1646-1716, нем. ученый и математик) - ПРЕДЛОЖИЛ ИСПОЛЬЗОВАТЬ

В ЛОГИКЕ МАТЕМАТИЧЕСКУЮ СИМВОЛИКУ И ВПЕРВЫЕ ВЫСКАЗАЛ МЫСЛЬ О ВОЗМОЖНОСТИ ПРИМЕНЕНИЯ В НЕЙ ДВОИЧНОЙ СИСТЕМЫ СЧИСЛЕНИЯ.

Слайд 8

ПРИМЕНЕНИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ.
1) Логика оказала влияние на развитие математики, прежде

всего теории множеств, функциональных систем, алгоритмов, рекурсивных функций.

2) Идеи и аппарат логики используется в кибернетике, ВТ и электротехнике (построены компьютеры на основе законов математической логики). логики).

3) В гуманитарных науках (логика, криминалистика)

Слайд 9

АЛГЕБРА ЛОГИКИ (ВЫСКАЗЫВАНИЙ)
РАЗДЕЛ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, ИЗУЧАЮЩИЙ ВЫСКАЗЫВАНИЯ И ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД

НИМИ

Слайд 10

ИНВЕРСИЯ (ЛОГИЧЕСКОЕ ОТРИЦАНИЕ)
ПРИСОЕДИНЕНИЕ ЧАСТИЦЫ «НЕ» К СКАЗУЕМОМУ ДАННОГО ПРОСТОГО ВЫСКАЗЫВАНИЯ

ИЛИ ПРИСОЕДИНЕНИЕ СЛОВ «НЕВЕРНО ЧТО...» КО ВСЕМУ ВЫСКАЗЫВАНИЮ. ИНВЕРСИЯ (ЛОГИЧЕСКОЕ ОТРИЦАНИЕ) - ПРИСОЕДИНЕНИЕ ЧАСТИЦЫ «НЕ» К СКАЗУЕМОМУ ДАННОГО ПРОСТОГО ВЫСКАЗЫВАНИЯ ИЛИ ПРИСОЕДИНЕНИЕ СЛОВ «НЕВЕРНО ЧТО...» КО ВСЕМУ ВЫСКАЗЫВАНИЮ. ИНВЕРСИЯ ЛОГИЧЕСКОЙ ПЕРЕМЕННОЙ ИСТИННА, ЕСЛИ САМА ПЕРЕМЕННАЯ ЛОЖНА, И, НАОБОРОТ, ИНВЕРСИЯ ЛОЖНА, ЕСЛИ ПЕРЕМЕННАЯ ИСТИННА.

Слайд 11

ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ)
СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В ОДНО С ПОМОЩЬЮ

СОЮЗА «ИЛИ», УПОТРЕБЛЯЕМОГО В НЕИСКЛЮЧАЮЩЕМ ВИДЕ. ДИЗЪЮНКЦИЯ ДВУХ ЛОГИЧЕСКИХ ВЫСКАЗЫВАНИЙ ЛОЖНА ТОГДА И ТОЛЬКО ТОГДА, КОГДА ОБА ВЫСКАЗЫВАНИЯ ЛОЖНЫ.

Математическая логика

Содержание

Что такое логика?LOGOS (ГРЕЧ.)- СЛОВО, ПОНЯТИЕ, РАССУЖДЕНИЕ, РАЗУМ. СЛОВО «ЛОГИКА» ОБОЗНАЧАЕТ

Математическая логикаМАТЕМАТИЧЕСКАЯ ЛОГИКА - ИЗУЧАЕТ ЛОГИЧЕСКИЕ СВЯЗИ И ОТНОШЕНИЯ, ЛЕЖАЩИЕ В

РАЗВИТИЯ ЛОГИКИ.АРИСТОТЕЛЬ (384-322 ГГ. ДО Н.Э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ. КНИГИ: «КАТЕГОРИИ»

СИЛЛОГИЗМРАССУЖДЕНИЕ, В КОТОРОМ ИЗ ЗАДАННЫХ ДВУХ СУЖДЕНИЙ ВЫВОДИТСЯ ТРЕТЬЕ. 1. ВСЕ

Декарт РенеДекарт Рене (1596-1650, фр. Философ, математик) РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗОВАТЬ

Лейбниц Г.В.Лейбниц Г.В. (1646-1716, нем. ученый и математик) - ПРЕДЛОЖИЛ ИСПОЛЬЗОВАТЬ

ПРИМЕНЕНИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. 1) Логика оказала влияние на развитие математики, прежде

АЛГЕБРА ЛОГИКИ (ВЫСКАЗЫВАНИЙ)РАЗДЕЛ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, ИЗУЧАЮЩИЙ ВЫСКАЗЫВАНИЯ И ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД

ИНВЕРСИЯ (ЛОГИЧЕСКОЕ ОТРИЦАНИЕ) ПРИСОЕДИНЕНИЕ ЧАСТИЦЫ «НЕ» К СКАЗУЕМОМУ ДАННОГО ПРОСТОГО ВЫСКАЗЫВАНИЯ

ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ)СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В ОДНО С ПОМОЩЬЮ

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