Конструктивная теория доказательств и нестандартный анализ А. Г. Драгалин (книга)

18+

На сайте представлено только описание и выходные данные книги «Конструктивная теория доказательств и нестандартный анализ А. Г. Драгалин». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Конструктивная теория доказательств и нестандартный анализ А. Г. Драгалин». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтвердаете, что вам исполнилось 18 лет.

Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность

А. Г. Драгалин - «Конструктивная теория доказательств и нестандартный анализ»

Поделиться

Рейтинг книги izbe.ru: 0,0

О книге

А.Г.Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.

В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца.

В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина - С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина представлен в предисловии Н.Н.Непейводы.

Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики. Это и многое другое вы найдете в книге Конструктивная теория доказательств и нестандартный анализ (А. Г. Драгалин)

Полное название книги А. Г. Драгалин Конструктивная теория доказательств и нестандартный анализ
Тип Книга
Автор А. Г. Драгалин
Категории Математика, Образование и наука, Книги
ISBN5354003881
Возрастное ограничение18
Издательство Едиториал УРСС
Год2003
Название транслитомkonstruktivnaya-teoriya-dokazatelstv-i-nestandartnyy-analiz-a-g-dragalin
Просмотров6
Рейтинг izbe.ru0,0