Лекции по математике: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя
Заказ:
ISBN:
978-5-397-06483-5
Год издания:
2019
Издательство:
Либроком
Переплёт:
обл
Страниц:
208
747, 00 руб.
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта --- вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек.
Для студентов, преподавателей, инженеров и научных работников.
Поделиться ссылкой