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

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

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

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

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

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

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

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

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

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

Тираж: 600 экз.

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

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

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


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

Занимательная геометрия на вольном воздухе и дома

Занимательная геометрия на вольном воздухе и дома
Цена: 206 р.

В книге Я.И.Перельмана представлены оригинальные задачи с любопытными ...

Империя ангелов

Империя ангелов
Цена: 123 р.

"Империя ангелов" - начало знаменитого "Цикла о богах". Мишель Пэнсон ...

Berlitz. Китайский язык. Базовый курс (+ 3 аудиока...

Berlitz. Китайский язык. Базовый курс (+ 3 аудиокассеты)
Цена: 513 р.

Курс состоит из 24 уроков (сцен). В основе каждого последующего урока ...


Books in English
 
  Copyright © 2010 — 2017 Книги