VIPBOOK.SU
ЭЛЕКТРОННАЯ БИБЛИОТЕКА






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

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Мартин-Лёф П. - Очерки по конструктивной математике

Наука и познание >> Математика





Разместил: Почемучка

29-11-2017, 19:08

Просмотров: 131





Мартин-Лёф П. - Очерки по конструктивной математике

Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра из области конструктивизации математического анализа.
Книга доступна математикам всех специальностей, начиная со студентов младших курсов. Она представляет интерес также для всех лиц, интересующихся основаниями математики.

Название: Очерки по конструктивной математике
Автор: Мартин-Лёф П.
Издательство: М.: Мир
Год: 1975
Формат: PDF
Страниц: 137
Размер: 13.0 MB
Язык: Русский



Скачать Мартин-Лёф П. - Очерки по конструктивной математике [1975, PDF]









Похожие публикации

Введение в теорию категорий и функторов Введение в теорию категорий и функторов
Книга румынских математиков представляет собой введение в теорию категорий, методы и язык которой применяются почти во всей современной математике. Приводятся многочисленные примеры ситуаций из различных разделов математики, которые иллюстрируют

Очерки истории и техники космического телевидения Очерки истории и техники космического телевидения
Очерки истории и техники космического телевидения — Книга известного специалиста в области космического телевидения, д.т.н.

Лекции по школьной математике Лекции по школьной математике
В книге приводятся не только основные формулы алгебры, начал математического анализа и геометрии, но и их обоснование. Материал излагается кратко, без излишнего «разжевывания» очевидных с точки зрения учащегося вопросов. Книга предназначена как для

Очерки развития математики в СССР Очерки развития математики в СССР
В предлагаемой книге освещены основные направления развития фундаментальных и прикладных исследований в советской математике. Приведены обзоры наиболее важных результатов, полученных советскими математиками в области математической логики, алгебры,

Петер Р. - Рекурсивные функции Петер Р. - Рекурсивные функции
Понятие обще-рекурсивной функции занимает одно из центральных мест во всех современных исследованиях по конструктивной математике. Поэтому является вполне оправданным желание дать этому понятию возможно более полное освещение. Этой цели и служит

Очерки неотложной хирургии живота Очерки неотложной хирургии живота
В книге приведены подробные сведения о клинике, диагностике и хирургическом лечении некоторых острых заболеваний органов брюшной полости. Работа иллюстрирована 130 рисунками, выполненными художником-хирургом, что позволяет представить сущность

Конструктивная физика Конструктивная физика
Конструктивизм — это особый вид математики, который основан на алгоритмических процедурах, а не на абстрактно понимаемых множествах и числах. Физический конструктивизм в его законченной форме представляет собой пока гипотетический программный

Линейные представления конечных групп Линейные представления конечных групп
Автор — выдающийся французский математик, знакомый советскому читателю по русскому переводу его монографий "Алгебраические группы и поля классов", "Когомологии Галуа" ("Мир", 1968) и "Группы Ли и алгебры Ли" ("Мир", 1969). С присущим ему мастерством

Файнстейн А. - Основы теории информации Файнстейн А. - Основы теории информации
Теория информации — молодая математическая дисциплина — с каждым годом привлекает к себе все большее внимание. Она возникла из некоторых задач теории связи, а затем нашла применение в самых разнообразных отраслях техники. Ею интересуются как

Интуиционизм Интуиционизм
Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма — течения в математике,




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги