Введение в математическую логику. Том 1
Формальная логика описывает математическое рассуждение средствами символических систем.
Описание
Формальная система представляет собой совокупность символов, правил образования формул и правил вывода, образующую строгую основу для дедуктивного построения теорий. В произведениях она раскрывается как абстрактный математический объект и метод синтаксического анализа логических высказываний, независимый от их конкретного содержательного значения. Формальная система устойчиво связывается с понятиями интерпретации, истинности, разрешимости и полноты в рамках математической логики. Произведения объединяет рассмотрение принципов построения строгих языков и механизмов логического вывода как фундаментальных инструментов исследования математического мышления.
Произведения
Профиль корпуса концепта
Тип реальности
метафизическая1100 %
Модель человека
рациональная1100 %
Тип воздействия
объяснение1100 %
Уровень рассмотрения
Классификация корпуса концепта
Базовый тип текста
оригинальная модель1100 %
Тип знания
теоретическое1100 %
Уровень знания
теоретический1100 %
Культурный контекст
западная традиция1100 %
Традиция
Значения не указаны.
Функция текста
исследовательская1100 %
Статус текста
базовый текст1100 %
Форма изложения
Серии
Серии для концепта отсутствуют.
Роль в графе
Одиночный концепт · встречается в одном произведении
Связанные концепты
Связанные концепты по заданному порогу не обнаружены.