Корзина
0 экз.
0
Школьная форма

Конструктивная теория доказательств и нестандартных решений | Драгалин

Конструктивная теория доказательств и нестандартных решений
Цена в интернет-магазине:
314

скидки

пожаловаться на цену

Оставьте свой e-mail, если хотите, чтобы мы Вам ответили:

Ссылка на магазин, где цена ниже:

Цена товара в другом магазине без учета доставки, руб:

Комментарий:

Цена в розничном магазине:
399
Отложить в филиале
код товара:2175243
автор:Драгалин
издательство: Эдиториал
страниц:544
год выпуска:2003
ISBN:5-354-00388-1
оформление: твердый переплет
Наличие и цены в розничных магазинах

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

Обнаружили ошибку в описании Книга «Конструктивная теория доказательств и нестандартных решений» (Драгалин, Эдиториал)? Сообщите нам об ошибке.


Запрос на дополнительную информацию





Рецензии и отзывы на книгу Конструктивная теория доказательств и нестандартных решений

Отзывов пока нет


Оставить отзыв




Интернет-магазин "Чакона": купить книги в Самаре, Тольятти, Новокуйбышевске и Сызрани.

Вы можете оформить заказ в интернете или посетить наши розничные магазины. В наличии широчайший ассортимент товаров. Со многими издательствами мы работаем без посредников, поэтому у Вас есть возможность заказать самые свежие новинки и книги, которые только готовятся к выпуску. Доставка по России может быть для Вас бесплатной. Желаем удачных покупок!

loading...
Пожалуйста, войдите или зарегистрируйтесь, чтобы мы могли сохранить Ваш список.
Вы можете заказать данный товар, позвонив по телефону в тот магазин, где Вам удобнее будет его выкупать. Заказы через интернет-магазин временно не принимаются.
Текст сообщения:
(пожалуйста, опишите проблему как можно подробнее, чтобы мы смогли быстрее помочь вам)