Лекции по математике. Т. 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя: Учебное пособие
Книга с полки
Описание
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек. .ID Продукта
6332700
Автор
Издательство
Год
2015
ISBN
978-5-397-05866-7, 978-5-397-06483-5, 978-5-9710-7713-8
Вес
459
Переплет
мягкий переплёт
Доступность
На складе
Размер посылки
XS
