Уведомлений еще не было

Книги А. Г. Драгалина

А. Г. Драгалин - автор 2 книг. Из известных произведений можно выделить: Математический интуиционизм. Введение в теорию доказательств, Математическая логика. Введение в математическую логику. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
Математика
0.0
0
0
Математический интуиционизм. Введение в теорию доказательств
Математический интуиционизм. Введение в теорию доказательств

В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики. Изложение характеризуется высоким уровнем строгости, основные теории описываются в виде формальных

Математика
8.0
0
0
Математическая логика. Введение в математическую логику
Математическая логика. Введение в математическую логику

Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова, и содержит кл...