Нижний Новгород
Ваш город - Нижний Новгород?
Да
Выбрать другой город
От выбранного города зависят цены, наличие товара и способы доставки
Каталог
Код: ЦБ-00110254
Мягкая обложка
Осталось 2 экземпляра
428 q
504q
В корзину
В корзине
Способы получения

Описание

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

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

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

Авторы

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

Либроком

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

Ваш email

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

Оставить отзыв
Оставить отзыв