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