Нет отзывов
Купили 2 человека
Аннотация
| Издательство | |
|---|---|
| Переплет | Мягкий переплёт |
| Страниц | 208 |
| Год, тираж | 2015 |
929 ₽1 096 ₽
-15%
Последний экземпляр
как получить заказ
В магазинах сетиПослезавтра, 12 апреля — бесплатно
- В пунктах выдачиВо вт, 14 апреля — от 265 ₽
- КурьеромВ пн, 13 апреля — от 315 ₽
- Почтой РоссииВо вт, 14 апреля — от 523 ₽
Отзывы
0Описание и характеристики
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек.
.
| Код | 2533242 |
|---|---|
| Издательство | |
| Автор | |
| Переплет | Мягкий переплёт |
| Кол-во страниц | 208 |
| Год издания | 2015 |
| ISBN | 978-5-397-05866-7 |
| Раздел | Математика |
| Размеры | 1.1 см × 14.5 см × 21.5 см |
| Вес | 0.26 кг |