PPt4Web Хостинг презентаций

Главная / Математика / История математической логики
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

Чтобы скачать данную презентацию, порекомендуйте, пожалуйста, её своим друзьям в любой соц. сети.

После чего скачивание начнётся автоматически!

Кнопки:

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


Скачать эту презентацию

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


Скачать эту презентацию



№ слайда 1 История математической логики
Описание слайда:

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

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

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

№ слайда 3 АРИСТОТЕЛЬ (384-322 ГГ. ДО Н.Э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ КНИГИ: «КАТЕГОРИИ» «ПЕР
Описание слайда:

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

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

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

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

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

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

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

№ слайда 7 ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ АВГУСТ ДЕ МОРГАН (1806 - 18
Описание слайда:

ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ АВГУСТ ДЕ МОРГАН (1806 - 1871) – ВЫВЕЛ ЗАКОНЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ УИЛЬЯМ СТЕНЛИ ДЖЕВОНС (1835 - 1882) - ПОСТРОИЛ «ЛОГИЧЕСКИЕ СЧЕТЫ» И ЛОГИЧЕСКУЮ МАШИНУ ПЛАТОН СЕРГЕЕВИЧ ПОРЕЦКИЙ (1846-1907) – РУССКИЙ ЛОГИК, ОДИН ИЗ СОЗДАТЕЛЕЙ МЕТОДОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ЧАРЛЗ САНДЕРС ПИРС (1839-1914) – АМЕРИКАНСКИЙ ЛОГИК, РОДОНАЧАЛЬНИК ПРАГМАТИЗМА КЛОД ШЕННОН (1938-2001) – ОПИСАНИЕ РЕЛЕЙНО-КОНТАКТНЫХ И ЭЛЕКТРОННО-ЛАМПОВЫХ СХЕМ.

Скачать эту презентацию


Презентации по предмету
Презентации из категории
Лучшее на fresher.ru