X
Код презентации скопируйте его
История математической логики
Скачать эту презентацию
Презентация на тему История математической логики
Скачать эту презентациюCлайд 1
История математической логики
Cлайд 2
ЭТАПЫ РАЗВИТИЯ ЛОГИКИ Аристотель Рене Декарт Лейбниц Джордж Буль Последующее развитие логики
Cлайд 3
АРИСТОТЕЛЬ (384-322 ГГ. ДО Н.Э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ КНИГИ: «КАТЕГОРИИ» «ПЕРВАЯ АНАЛИТИКА» «ВТОРАЯ АНАЛИТИКА» ИССЛЕДОВАЛ РАЗЛИЧНЫЕ ФОРМЫ РАССУЖДЕНИЙ , ВВЕЛ ПОНЯТИЕ СИЛЛОГИЗМА
Cлайд 4
Декарт Рене (1596-1650, фр. Философ, математик) РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗОВАТЬ МАТЕМАТИЧЕСКИЕ МЕТОДЫ
Cлайд 5
Лейбниц Готфрид Вильгельм (1646-1716, нем. ученый и математик) ПРЕДЛОЖИЛ ИСПОЛЬЗОВАТЬ В ЛОГИКЕ МАТЕМАТИЧЕСКУЮ СИМВОЛИКУ И ВПЕРВЫЕ ВЫСКАЗАЛ МЫСЛЬ О ВОЗМОЖНОСТИ ПРИМЕНЕНИЯ В НЕЙ ДВОИЧНОЙ СИСТЕМЫ СЧИСЛЕНИЯ.
Cлайд 6
Джордж Буль (1815-1864) - основоположник математической логики СОЗДАЛ БУЛЕВУ АЛГЕБРУ - ОДИН ИЗ РАЗДЕЛОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. РАЗРАБОТАЛ СВОЙ АЛФАВИТ, ОРФОГРАИЮ И ГРАММАТИКУ
Cлайд 7
ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ АВГУСТ ДЕ МОРГАН (1806 - 1871) – ВЫВЕЛ ЗАКОНЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ УИЛЬЯМ СТЕНЛИ ДЖЕВОНС (1835 - 1882) - ПОСТРОИЛ «ЛОГИЧЕСКИЕ СЧЕТЫ» И ЛОГИЧЕСКУЮ МАШИНУ ПЛАТОН СЕРГЕЕВИЧ ПОРЕЦКИЙ (1846-1907) – РУССКИЙ ЛОГИК, ОДИН ИЗ СОЗДАТЕЛЕЙ МЕТОДОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ЧАРЛЗ САНДЕРС ПИРС (1839-1914) – АМЕРИКАНСКИЙ ЛОГИК, РОДОНАЧАЛЬНИК ПРАГМАТИЗМА КЛОД ШЕННОН (1938-2001) – ОПИСАНИЕ РЕЛЕЙНО-КОНТАКТНЫХ И ЭЛЕКТРОННО-ЛАМПОВЫХ СХЕМ.
