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