История математической логики

Февраль 6, 2021

Главная
Разное
История математической логики

Содержание

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

Слайд 2

ЭТАПЫ РАЗВИТИЯ ЛОГИКИ
Аристотель
Рене Декарт
Лейбниц
Джордж Буль
Последующее развитие логики

ЭТАПЫ РАЗВИТИЯ ЛОГИКИ Аристотель Рене Декарт Лейбниц Джордж Буль Последующее развитие логики

Слайд 3

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

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

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

Слайд 4

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

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

Слайд 5

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

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

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

Слайд 6

Джордж Буль (1815-1864) - основоположник математической логики
СОЗДАЛ БУЛЕВУ АЛГЕБРУ - ОДИН ИЗ

Джордж Буль (1815-1864) - основоположник математической логики СОЗДАЛ БУЛЕВУ АЛГЕБРУ - ОДИН

РАЗДЕЛОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. РАЗРАБОТАЛ СВОЙ АЛФАВИТ, ОРФОГРАИЮ И ГРАММАТИКУ