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

Характеристики
ISBN 978-5-9519-3982-1
Автор Босс В.
Издательство ЛЕНАНД
Переплет ОБЛ
Формат 60x90/16
Серия Лекции по математике В. Босса
Вес, гр 230
Год 2023
Стр. 208
ID 40УР
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта --- вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек.Для студентов, преподавателей, инженеров и научных работников.