Rutor торрент трекер file_download
Скачать торренты бесплатно и без регистрации! База magnet-ссылок Rutor.Download
Лучшие торренты Популярные фильмы Популярные сериалы Популярная музыка

Драгалин А.Г. - Конструктивная теория доказательств и нестандартный анализ [2003, DjVu, RUS/ENG] скачать торрент по magnet-ссылке

Конструктивная теория доказательств и нестандартный анализ
Год: 2003
Автор: Драгалин А.Г.
Жанр: Монография и сборник статей
Издательство: Едиториал УРСС
ISBN: 5-354-00388-1, 5-354-00387-3
Язык: Русский/Английский
Формат: DjVu
Качество: Отсканированные страницы + слой распознанного текста
Количество страниц: 543
Интерактивное оглавление: Нет
Описание: А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина «Математический интуиционизм. Введение в теорию доказательств» явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.
В издание вошли также воспоминания коллег, учеников и друзей А. Г. Драгалина — С. Н. Артемова, Э. Б. Баялинова, А. С. Бойцова, Б. А. Кушнера, Г. Е. Минца, Е. Ю. Ногиной, А.Трулстра, В. Б. Шехтмана. Аналитический обзор основных результатов А. Г. Драгалина представлен в предисловии Н. Н. Непейводы.
Книга рассчитана на широкий круг читателей, интересующихся математической
логикой и философскими проблемами современной математики.

Скачать торрент бесплатно:

8059 Kb
1 0 Magnet-ссылка
На сайте нет ни одной электронной версии ни одного произведения. На сайте нет torrent-файлов. Сайт — это каталог ссылок, присылаемых и публикуемых пользователями сайта Rutor.Download. Если вы правообладатель какого-либо представленного материала и не хотите, чтобы ссылка на него размещалась в нашем каталоге, свяжитесь с нами (мыло ниже), и мы незамедлительно удалим ее.
For DMCA requests: mail[at]rutor.download