Содержание
- 2. ВОПРОСЫ 1. Что такое логика? Формальная логика. Математическая логика. 2. Этапы развития логики. 3. Применение математической
- 3. ВОПРОС №1 Что такое логика? Формальная логика Математическая логика
- 4. LOGOS (ГРЕЧ.)- СЛОВО, ПОНЯТИЕ, РАССУЖДЕНИЕ, РАЗУМ СЛОВО «ЛОГИКА» ОБОЗНАЧАЕТ СОВОКУПНОСТЬ ПРАВИЛ, КОТОРЫМ ПОДЧИНЯЕТСЯ ПРОЦЕСС МЫШЛЕНИЯ. ОСНОВНЫМИ
- 5. ПОНЯТИЕ - ФОРМА МЫШЛЕНИЯ, В КОТОРОЙ ОТРАЖАЮТСЯ СУЩЕСТВЕННЫЕ ПРИЗНАКИ ОТДЕЛЬНОГО ПРЕДМЕТА ИЛИ КЛАССА ОДНОРОДНЫХ ПРЕДМЕТОВ. (ТРАПЕЦИЯ,
- 6. МАТЕМАТИЧЕСКАЯ ЛОГИКА - ИЗУЧАЕТ ЛОГИЧЕСКИЕ СВЯЗИ И ОТНОШЕНИЯ, ЛЕЖАЩИЕ В ОСНОВЕ ЛОГИЧЕСКОГО (ДЕДУКТИВНОГО) ВЫВОДА. ЛОГИКА (ФОРМАЛЬНАЯ)
- 7. ВОПРОС №2 ЭТАПЫ РАЗВИТИЯ ЛОГИКИ
- 8. АРИСТОТЕЛЬ (384-322 гг. до н.э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ КНИГИ: «КАТЕГОРИИ» «ПЕРВАЯ АНАЛИТИКА» «ВТОРАЯ АНАЛИТИКА» (ИССЛЕДОВАЛ РАЗЛИЧНЫЕ
- 9. СИЛЛОГИЗМ - РАССУЖДЕНИЕ, В КОТОРОМ ИЗ ЗАДАННЫХ ДВУХ СУЖДЕНИЙ ВЫВОДИТСЯ ТРЕТЬЕ. 1. ВСЕ МЛЕКОПИТАЮЩИЕ ИМЕЮТ СКЕЛЕТ.
- 10. АРИСТОТЕЛЬ ВЫДЕЛИЛ ВСЕ ПРАВИЛЬНЫЕ ФОРМЫ СИЛЛОГИЗМОВ, КОТОРЫЕ МОЖНО СОСТАВИТЬ ИЗ РАССУЖДЕНИЙ ВИДА: - «Все А суть
- 11. Декарт Рене (1596-1650, фр. философ, математик) РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗОВАТЬ МАТЕМАТИЧЕСКИЕ МЕТОДЫ.
- 12. Лейбниц Г.В. (1646-1716, нем. ученый и математик) - Предложил использовать в логике математическую символику и впервые
- 13. Джордж Буль (1815-1864, анл.) - основоположник мат. логики. 1847 г. –Джордж Буль в работе «Математический анализ
- 14. ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТ. ЛОГИКИ: АУГУСТУС ДЕ МОРГАН (1806 - 1871)
- 15. ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТ. ЛОГИКИ: УИЛЬЯМ СТЕНЛИ ДЖЕВОНС (1835 - 1882) ПЛАТОН СЕРГЕЕВИЧ ПОРЕЦКИЙ
- 16. ВОПРОС №3 ПРИМЕНЕНИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
- 17. Логика оказала влияние на развитие математики, прежде всего теории множеств, функциональных систем, алгоритмов, рекурсивных функций. 2)
- 18. 1938 г. – американский математик и инженер Клод Шеннон связал Булеву алгебру (аппарат математической логики), двоичную
- 19. 5) Идеи и аппарат логики используется в программировании, базах данных и экспертных системах. PROLOG – язык
- 20. ВОПРОС №4 Алгебра высказываний Простые и сложные высказывания
- 21. АЛГЕБРА ЛОГИКИ (ВЫСКАЗЫВАНИЙ) - РАЗДЕЛ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, ИЗУЧАЮЩИЙ ВЫСКАЗЫВАНИЯ И ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД НИМИ.
- 22. ВЫСКАЗЫВАНИЕ - ЭТО ПОВЕСТВОВАТЕЛЬНОЕ ПРЕДЛОЖЕНИЕ, О КОТОРОМ МОЖНО СКАЗАТЬ, ЧТО ОНО ИСТИННО ИЛИ ЛОЖНО. 1) Земля
- 23. ВЫСКАЗЫВАНИЕМ НЕ ЯВЛЯЕТСЯ: 1) ВОСКЛИЦАТЕЛЬНЫЕ И ВОПРОСИТЕЛЬНЫЕ ПРЕДЛОЖЕНИЯ. 2) ОПРЕДЕЛЕНИЯ. 3) ПРЕДЛОЖЕНИЯ ТИПА: «ОН СЕРОГЛАЗ» «X2-4X+3=0»
- 24. ВЫСКАЗЫВАНИЕ, КОТОРОЕ МОЖНО РАЗЛОЖИТЬ НА ЧАСТИ, БУДЕМ НАЗЫВАТЬ СЛОЖНЫМ, А НЕРАЗЛОЖИМОЕ ДАЛЕЕ ВЫСКАЗЫВАНИЕ - ПРОСТЫМ. 1)
- 25. ВОПРОС №5 ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
- 26. ИНВЕРСИЯ (ЛОГИЧЕСКОЕ ОТРИЦАНИЕ) - ПРИСОЕДИНЕНИЕ ЧАСТИЦЫ «НЕ» К СКАЗУЕМОМУ ДАННОГО ПРОСТОГО ВЫСКАЗЫВАНИЯ ИЛИ ПРИСОЕДИНЕНИЕ СЛОВ «НЕВЕРНО
- 27. ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ) - СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В В ОДНО С ПОМОЩЬЮ СОЮЗА «ИЛИ»,
- 28. КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ) - СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В В ОДНО С ПОМОЩЬЮ СОЮЗА «И».
- 29. ИМПЛИКАЦИЯ - ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, СООТВЕТСТВУЮЩАЯ СОЮЗУ «ЕСЛИ . . . , ТО . . .» ИМПЛИКАЦИЯ
- 30. ЭКВИВАЛЕНЦИЯ - ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, СООТВЕТСТВУЮЩАЯ СОЮЗУ «ТОГДА И ТОЛЬКО ТОГДА, КОГДА …» ЭКВИВАЛЕНЦИЯ ДВУХ ВЫСКАЗЫВАНИЙ ИСТИННА
- 31. ПРИОРИТЕТ ЛОГИЧЕСКИХ ОПЕРАЦИЙ: ИНВЕРСИЯ; КОНЪЮНКЦИЯ; ДИЗЪЮНКЦИЯ; ИМПЛИКАЦИЯ И ЭКВИВАЛЕНТНОСТЬ.
- 33. С помощью логических переменных и символов логических операций любое высказывание можно формализовать, т.е. заменить логической формулой.
- 35. Скачать презентацию