Введение в математическую логику. Том 1
Формальная логика описывает математическое рассуждение средствами символических систем.
Описание
Математическое доказательство представляет собой строгую логическую процедуру установления истинности утверждения на основе принятых аксиом и ранее доказанных положений. В произведениях математическое доказательство раскрывается через историческое развитие геометрических методов, формальные системы символической логики и вероятностно-статистические обоснования закономерностей. Понятие математического доказательства устойчиво связывается с понятием строгости рассуждений, дедуктивной структурой теорий и развитием математического языка. Произведения объединяет рассмотрение методов обоснования математического знания в их историческом становлении, логическом строении и практическом применении.
Произведения
Евклидово окно. История геометрии от параллельных прямых до гиперпространства
Геометрия формирует понимание пространства в исторически изменяющихся научных моделях.
Курс теории вероятностей
Теория вероятностей описывает случайные явления строгими математическими моделями.
Профиль корпуса концепта
Тип реальности
физическая266,7 %
метафизическая133,3 %
Модель человека
рациональная3100 %
Тип воздействия
объяснение3100 %
Уровень рассмотрения
Классификация корпуса концепта
Базовый тип текста
интерпретация266,7 %
оригинальная модель133,3 %
Тип знания
теоретическое266,7 %
историческое133,3 %
Уровень знания
теоретический3100 %
Культурный контекст
западная традиция3100 %
Традиция
Значения не указаны.
Функция текста
интерпретационная266,7 %
исследовательская133,3 %
Статус текста
базовый текст266,7 %
Форма изложения
монография133,3 %
Серии
Серии для концепта отсутствуют.
Роль в графе
Специальная роль в графе не выделена.
Связанные концепты
| Концепт | Общих произведений |
|---|---|
| Аксиоматический метод | 3 |