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

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

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

: : Облако тегов : :
: : Календарь : :
«    Июнь 2017    »
ПнВтСрЧтПтСбВс
 1234
567891011
12131415161718
19202122232425
2627282930 

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

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

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


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

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


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

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

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

Информация
Комментировать статьи на нашем сайте возможно только в течении 100 дней со дня публикации.