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