Книги
Главная » Все товары » Нехудожественная литература » Научная и техническая литература » Естественные науки » Физико-математические науки » Математика » Основания математики. Математическая логика » Конструктивная теория доказательств и нестандартный анализ
Книги на OZON.ru — это выгодно!

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

Основания математики. Математическая логика. Конструктивная теория доказательств и нестандартный анализ

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

Тип продукции:

Год выхода: 2003 г.

Производитель/Издатель: Едиториал УРСС

Наличие: На складе

Страниц: 544 стр.

Формат: 60x90/16 (145х215 мм)

Тираж: 600 экз.

Переплет: Твердый переплет

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

Товары, похожие на «Конструктивная теория доказательств и нестандартный анализ»
Цена: 1074,00 руб
Купить
Цена может отличаться от указанной. Цену уточняйте на сайте OZON.ru


Популярные товары

Прощание кремлевского диггера

Прощание кремлевского диггера
Цена: 169 р.

В "Прощании…" автор, журналистка Елена Трегубова рассказывает о том, ч...

Духовное путешествие. Размышление перед Великим По...

Духовное путешествие. Размышление перед Великим Постом
Цена: 194 р.

Под руководством автора, выдающегося православного богослова и пропове...

Человек

Человек
Цена: 602 р.

Тайна человека, тайна его жизни во Христе как пути от образа к подобию...


 
  Copyright © 2010 — 2017 Книги