• формат djvu
  • размер 1.24 МБ
  • добавлен 07 сентября 2011 г.
Мартин-Лёф П. Очерки по конструктивной математике
М.: Мир, 1975. - 136 с.
Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра из области конструктивизации математического анализа.
Книга доступна математикам всех специальностей, начиная со студентов младших курсов. Она представляет интерес также для всех лиц, интересующихся основаниями математики.
Смотрите также

Букур И., Деляну А. Введение в теорию категорий и функторов

  • формат djvu
  • размер 2.15 МБ
  • добавлен 03 марта 2010 г.
Книга румынских математиков представляет собой введение в теорию категорий, методы и язык которой применяются почти во всей современной математике. Приводятся многочисленные примеры ситуаций из различных разделов математики, которые иллюстрируют универсальность рассматриваемых понятий. Книга может служить учебным пособием для изучающих современную алгебру и топологию. Она доступна студентам-математикам старших курсов университетов.

Валицкас А.И. Конспект лекций по математической логике

  • формат pdf
  • размер 1.69 МБ
  • добавлен 15 января 2011 г.
Учебно-методическое пособие для студентов физико-математических факультетов педвузов. Тобольск, 2010. – 186 c. Рекомендовано УМО по математике педвузов Волго-Вятского региона в качестве учебного пособия для студентов физико-математических специальностей высших учебных заведений. Учебно-методическое пособие представляет конспект курса лекций по математической логике, читаемого автором в течение ряда лет на математическом факультете в Тобольской...

Кейслер Г., Чэн Ч. Теория непрерывных моделей

  • формат djvu
  • размер 1.42 МБ
  • добавлен 03 октября 2010 г.
М. : 1971. -184 с. Небольшая монография, посвященная теории классов моделей—области математической логики, интенсивно развивавшейся в течение последних 10—15 лет. Содержание монография—обобщение теори моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и теории множеств и элементарные сведения по математической логике. Изложение...

Молодший В.Н. Очерки по вопросам обоснования математики

  • формат djvu
  • размер 2.66 МБ
  • добавлен 24 апреля 2011 г.
М.: Государственное учебно-педагогическое издательство министерства просвещения РСФСР, 1958. - 232 с. Эта книга - пособие для преподавателей математики средних школ и студентов физико-математических факультетов педагогических институтов. Ее содержание не исчерпывает того, что теперь связывают со словом «введение», когда обращаются к вопросам обоснования математики. На первом месте стоят те вопросы обоснования математики, знание которых может оказ...

Никольская И.Л. Математическая Логика

  • формат djvu
  • размер 1.06 МБ
  • добавлен 09 августа 2009 г.
Учебник. - М., Высш. школа, 1981, 127 с., ил. Книга предназначена для учащихся техникумов (колледжей) по специальности "Прикладная математика" и содержит теоретич. материал, соответств. программе "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике 8 летней школы. Ясно и последовательно изложен материал. Предназначается для учащихся средних специ...

Новиков П.С. Конструктивная математическая логика с точки зрения классической

  • формат djvu
  • размер 4.96 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1977. - 328 с. Серия "Математическая логика и основания математики". В книге проводится четкое различие между классическими и конструктивными логическими операциями. С этой целью для одноименных операций используются различные обозначения в классическом и конструктивном случаях. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время, насыщенность разнообразными техническими деталями д...

Перельман Я.И. Занимательная геометрия на вольном воздухе и дома. 1925

  • формат djvu
  • размер 4.46 МБ
  • добавлен 16 июня 2011 г.
Обложка и рисунки работы Ю. Д. Скалдина. - Л.: Время, 1925 Эта книга написана не столько для друзей математики, сколько для ее недругов. Она имеет в виду, главным образом, не тех, у кого есть уже склонность к математике, и не тех также, кто вовсе еще не приступал к ее изучению. Автор предназначает книгу всего более для той обширной категории читателей, которые знакомились в школе (или сейчас еще знакомятся) с этой наукой без особого интереса и о...

Робинсон А. Введение в теорию моделей и метаматематику алгебры

  • формат djvu
  • размер 3.08 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1967. - 376 с. Серия "Математическая логика и основания математики". Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символически...

Учебник по математике для юридического факультета

Статья
  • формат doc
  • размер 676.91 КБ
  • добавлен 29 мая 2011 г.
Числа. Первичная обработка результатов эксперимента. Элементы комбинаторики. Понятие вероятности. Функции и графики.

Эрдниев О.П. От задачи к задаче - по аналогии. Развитие математического мышления

  • формат djvu
  • размер 3.47 МБ
  • добавлен 25 января 2011 г.
Издательство АО «СТОЛЕТИЕ», 1998 г. , 280 с. Обычно обучение математике ограничивается решением пусть разнообразных, но готовых, придуманных авторами учебников задач. Однако гораздо увлекательнее и продуктивнее, осознав процесс математического творчества, научиться создавать собственные задачи и теоремы и находить способы их решения. Этому важному творческому умению и посвящена книга. Авторы, опираясь на свой практический опыт обучения, подробно...