+7 (495) 789-35-91 - сеть магазинов
+7 (495) 648-17-68 - интернет-магазин
Обратная математика : доказательства, вывернутые наизнанку
  • Наличие: нет
В список желаний
Поделиться:

Обратная математика : доказательства, вывернутые наизнанку

В этой книге Джон Стилуэлл рассказывает о том, как найти "правильные" аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической "глубины".

Полная информация о книге

  • Вид товара:Книги
  • Рубрика:Математика
  • Целевое назначение:Учебники и учеб. пособ.д/ высшей школы(ВУЗы)
  • ISBN:978-5-97060-888-3
  • Серия:Несерийное издание
  • Издательство: ДМК ПРЕСС
  • Год издания:2021
  • Количество страниц:198
  • Тираж:200
  • Формат:70х90/16
  • УДК:517.9
  • Штрихкод:9785970608883
  • Доп. сведения:пер. с англ. А. А. Слинкина
  • Переплет:обл.
  • Сведения об ответственности:Джон Стилуэлл
  • Вес, г.:230
  • Код товара:6213218

Описание товара

В этой книге Джон Стилуэлл рассказывает о том, как найти "правильные" аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической "глубины".

ждите...
ждите...