Интернет-магазин «Все книги России». Помогает купить книгу по самой выгодной цене. Подарочные книги. Сеть издательств и книжных магазинов на одном сайте! Каталог книг | Найти книги | Моя корзина Суб, 21 Апр, 2018, 22:21

  

Контакты

Книготорговая площадка
«Все книги России»

Всего книг: 183001
Покупателей: 83096
Продавцов: 890
Издательств: 215

Подробная информация о книге:

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

Автор Драгалин
Название Конструктивная теория доказательств и нестандартных решений
Издательство Эдиториал
Дата издания 2003
ISBN 9785-354-00388-1
Количество страниц 544 стр.
Переплёт Твердый переплет
Бумага
Цена 314 руб.
(Цена указана без стоимости доставки)
Продавец Чакона (г.Самара)
Доставка и оплата виды доставки и оплаты книг

Заказы с доставкой за пределы России в настоящее время не принимаются.

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



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




Книги в разделах:
  


© 2003-2018 "ВСЕ КНИГИ РОССИИ". Все права защищены.