ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
|
Авторизация
|
|||||||||||
КнигиКонструктивная теория доказательств и нестандартный анализ
687 руб.
В корзину
.Г.Драгалин (1941--1998) --- выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина Математический интуиционизм. Введение в теорию доказательств явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина --- С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина представлен в предисловии Н.Н.Непейводы. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики. |
В корзине нет товаров
Новости
2024-04-11
14-го апреля (воскресенье) магазин в МФТИ работает с 9:00 до 18:00
2024-02-10
11-го февраля(воскресенье) магазин в МФТИ работает с 9:00 до 18:00
2023-12-26
Уважаемые покупатели! В связи с новогодними каникулами заказы, оформленные после 26.12.2023, будут обработаны после 9 января 2024 г. Заказы, содержащие только книги издательства «ФИЗМАТКНИГА», будут отправлены раньше. Приносим извинения за задержку!
2023-10-30
31-го декабря, 1, 2, 3 и 7-го января — магазин не работает
4,5, и 6-го января — магазин работает с 10:00 до 17:30
с 8-го января — в обычном режиме
Лидеры продаж
|
|||||||||||
© ООО «Научная книга», 2021 |