Информация о книге

5-354-00388-1, 5-354-00387-3

Главная  » Научно-техническая литература » Математика. Естественные науки » Математика » Логика » Конструктивная теория доказательств и нестандартный анализ

Драгалин А.Г., Конструктивная теория доказательств и нестандартный анализ

Едиториал УРСС, 2003 г., 544 стр., 5-354-00388-1, 5-354-00387-3 , 221*150*28 мм., тираж: 600


Описание книги

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

Поделиться ссылкой на книгу




Об авторе

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


Последние поступления в рубрике "Логика"



Математика наблюдателей и ее приложения к квантовой механике, теории относительности и классической математике Математика наблюдателей и ее приложения к квантовой механике, теории относительности и классической математике Хоц Д., Хоц Б.

В этой книге представлены результаты авторов, относящиеся к Математике наблюдателей (авторское назввание - Observer\"s Mathematics). Эта математика была впервые введена авторами, были изучены ее основные свойства и получены приложения как к классической математике, так и к современной физике....

Теория множеств Теория множеств Хаусдорф Ф.

Вниманию читателей предлагается книга известного немецкого математика, одного из основоположников современной топологии Ф.Хаусдорфа (1868--1942), которая содержит очень полное и в то же время совершенно элементарное изложение теории множеств....

Лекции по математике. Том 16. Теория множеств. От Кантора до Коэна. Учебное пособие Лекции по математике. Том 16. Теория множеств. От Кантора до Коэна. Учебное пособие Босс В.

Настоящий том \\\"Лекций\\\" посвящен теории множеств в диапазоне от наивной трактовки проблематики до ее современного (аксиоматического) состояния. Наряду с простейшими понятиями и результатами о манипулировании бесконечностями рассматриваются довольно тонкие феномены: парадокс Банаха-Тарского, кардинальная и ординальная арифметика, базисы Гамеля....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Драгалин А.Г., Конструктивная теория доказательств и нестандартный анализ в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.