Санкт-Петербург
+7 (812) 317-73-45
Ваш город - Санкт-Петербург?
Да
Выбрать другой город
От выбранного города зависят цены, наличие товара и способы доставки
Каталог товаров
Код: ЦБ-00110254
Мягкая обложка
Остался 1 экземпляр
504 q
В корзину
В корзине
Купить в Доме Книги на Невском 28
Полка
Этаж 0, Стеллаж 25a, Полка 3
Способы получения

Описание

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта --- вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек._x000D_ Для студентов, преподавателей, инженеров и научных работников.

Характеристики

ISBN
978-5-397-06483-5
Год издания
2019
Количество страниц
208
Переиздание
Нет
ISBN переизданий
978-5-397-05866-7
Вес нетто
265
Язык издания
Русский

Авторы

Издательство

Либроком

Мы расскажем Вам про скидки и новинки!
Просто подпишитесь на наши рассылки

Ваш email

Отзывы
Лекции по математике: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя

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