ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ                  МЫ РАБОТАЕМ!
для школьников, студентов и научных работников

 

Каталог

Книги

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

Конструктивная теория доказательств и нестандартный анализ

Издательство:Едиториал УРСС
Год издания:2003
ISBN:978-5-354-00388-4
Кол-во страниц:544
Переплёт:Твёрдый
 687 руб.  В корзину

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2020-11-25
Уважаемые покупатели! в настоящее время в связи с масштабной эпидемией коронавируса мы проводим двухнедельные карантинные мероприятия, в связи с чем сроки обработки и отправки заказов будут сдвинуты. Приносим вам свои извинения и просим вас проявить понимание в указанной ситуации. Все заказы будут обработаны и выполнены по окончании карантинных мероприятий
2020-06-02
Магазин "Физтех-книга" в корпусе "Физтех-квант" МФТИ возобновил свою работу практические в прежнем режиме: с 9.00 до 19.00 по будням, с 10.00 до 17.30 в субботу. Ограничения касаются лишь числа посетителей: вход в торговый зал разрешен строго по одному. Это вынужденная мера введена в соответствии с требованиями МФТИ
2020-05-12
Уважаемые клиенты! В условиях эпидемии коронавируса наш интернет-магазин работает с определенными ограничениями.