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