Меню
Электронные Книги:
Журналы
Аудиокниги
Самое интересное

Основания математики. Теория доказательств

Категория: Учебные пособия

 (голосов: 0)
Date Дата: 6 февраля 2012 | Смотрели Основания математики. Теория доказательств Просмотров: 713
Основания математики. Теория доказательств

Название: Основания математики. Теория доказательств
Автор: Гильберт Д., Бернайс П.
Издательство: Физматлит
Год издания: 1989
Страниц: 652
Язык: русский
Формат: djvu
Качество: отличное
Размер: 7 Мб
В настоящей книге дается детальное изложение современного состояния теории доказательств. Хотя достижения этой теории на сегодняшний день и очень скромны по сравнению с целями, которые она перед собой ставит, тем не менее в ней содержится много ярких результатов, точек зрения и идей, безусловно заслуживающих того, чтобы их довести до сведения читателей.

Уважаемые посетители, если вы хотите скачать Основания математики. Теория доказательств и не видите ссылок, то скорее всего наши партнёры(литрес) их не предоставили. Можем предложить купить данное издание.

Книги из категории Учебные пособия:



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

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

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

Теория рассеяния для автоморфных функций Теория рассеяния для автоморфных функций
Авторы, известные американские математики, знакомы нашим читателям по переводу их монографии "Теория рассеяния" (М.: Мир, 1971). в своей новой книге они сумели взглянуть на классические проблемы теории групп с точки зрения специалистов по теории опе ... Читать

Программирование. Математические основы, средства, теория Программирование. Математические основы, средства, теория
Современное программирование излагается как искусство заставить компьютер решить задачу, возникшую перед человеком. Даны единые основания математики и программирования, краткие сведения из области графов, теории вероятностей и информации (в ее матема ... Читать

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

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

re...
Добавление коментария
Ваше Имя:
Код: Включите эту картинку для отображения кода безопасности
обновить если не виден код
Введите код



Кабинет
Ты не поверишь!