Обратная математика. Доказательства вывернутые наизнанку (Стилуэлл Джон) ; ДМК-Пресс, 2021
от 911 р. до 4008 р.
Автор(ы): Стилуэлл Джон;
Издатель: ДМК-Пресс
EAN: 978-5-97060-888-3
ISBN: 978-5-97060-888-3
ID: SKU64079
Добавлено: 15.08.2021
Сравнить цены
Цена от 911 р. до 4008 р. в 6 магазинах
Магазин | Цена | Наличие |
---|---|---|
Лабиринт 5/5 | 1018 р. 1455 р. | |
Буквоед 5/5 | 1002 р. Минимальная сумма заказа 100 рублей | |
Book24 5/5 | 1019 р. 1459 р. | |
Мегамаркет 5/5 | 4008 р. | |
Яндекс.Маркет 5/5 | 957 р. | |
МАЙШОП 5/5 | 911 р. 1359 р. | |
Читай-город 5/5 | ||
Описание
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
Смотри также Характеристики.
Яндекс.Маркет
Содержание
Предисловие
Глава 1. Историческое введение
Глава 2. Классическая арифметизация
Глава 3. Классический анализ
Глава 4. Вычислимость
Глава 5. Арифметизация вычисления
Глава 6. Арифметическое выделение
Глава 7. Рекурсивное выделение
Глава 8. Более широкая картина
Список литературы
Предметный указатель
Глава 1. Историческое введение
Глава 2. Классическая арифметизация
Глава 3. Классический анализ
Глава 4. Вычислимость
Глава 5. Арифметизация вычисления
Глава 6. Арифметическое выделение
Глава 7. Рекурсивное выделение
Глава 8. Более широкая картина
Список литературы
Предметный указатель
О книге
Издатель | ДМК-Пресс |
Год издания | 2021 |
Страниц | 198 |
Переплёт | мягкий |
ISBN | 978-5-9706-0888-3 |
Размеры | 16,00 см × 22,00 см × 0,90 см |
Формат | 70х90/16 |
Автор(ы) | Стилуэлл Джон |
Тематика | Математика |
Тираж | 200 |
Переплет | Мягкий переплёт |
Возрастные ограничения | 12 |
Кол-во страниц | 198 |
Издательство | ДМК ПРЕСС |
Вес, в граммах | 230 |
Назначение | для гуманитарных ВУЗов; для технических ВУЗов |
Тип обложки | мягкая |
Автор | Стилуэлл Джон |
Язык издания | Русский |
Обложка | мягкая обложка |
Математические науки - издательство "ДМК-Пресс"
Категория 728 р. - 1093 р.
Прикладная математика. Вычислительная математика - издательство "ДМК-Пресс" »
Математические науки
Категория 728 р. - 1093 р.