Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде.
Для студентов, преподавателей, инженеров и научных работников.
Название: Лекции по математике. Том 6. От Диофанта до Тьюринга
Автор: Босс В.
Издательство: КомКнига
Год издания: 2006
Страниц: 208
ISBN: 5-484-00463-2
Язык: русский
Формат: pdf
Качество: отличное
Размер: 50.5 Мб