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

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

Скачать книгу (размер 1 054 Kb , формат fb2, страниц 208) 

Жанр : Разное
Издательство : Либроком
Год издания : 2013

Аннотация:

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.

Добавить комментарий

Для отправки комментария вы должны авторизоваться.