: : Книги : :
: : Военная тематика : :
: : Для детей и родителей : :
: : Увлечение и хобби : :
: : Компьютерная литература : :
: Художественная литература :
: : Наука и образование : :
: : Гуманитарные науки : :
: : Естественные науки : :
: : Инженерные науки : :

Обратная связьСвязь с администрацией

: : Видеоуроки : :
: : Аудиокниги : :
: : Журналы : :
: : Опрос сайта : :
Хотели бы Вы видеть у нас на сайте обучающие видео?
Да!
Нет, Я и так умный(ая)!
: : Популярное : :

: : Облако тегов : :
: : Календарь : :
«    Декабрь 2016    »
ПнВтСрЧтПтСбВс
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 

Скачать книгу Конструктивная теория доказательств и нестандартный анализ бесплатно

 
Раздел: Книги » Наука и образование: » Точные и инженерные науки: » Математика

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


Название: Конструктивная теория доказательств и нестандартный анализ
Автор: Драгалин А.Г.
Издательство: Едиториал УРСС
Год издания: 2003
Страниц: 544
ISBN: 5-354-00388-1
Язык: Русский
Формат: DjVu
Качество: хорошее
Размер: 8 Мб

А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.


  • Автор: houpperwz55
  • Комментариев: 0
  • Просмотров: 613 |

На нашем сайте вы сможете скачать книги бесплатно. Самые интересные книги и журналы есть только у нас!

Абсолютно все ссылки, которые размещены на нашем сайте, представлены исключительно для ознакомительного просмотра и расположены на сторонних серверах. Файлы которые хранятся на чужих серверах, сайт MirBukv.com не имеет совершенно никакого отношения.