Подробное описание документа

Босс В.
Лекции по математике : [учеб. пособие] / Босс В. - М. : URSS : ЛИБРОКОМ, 2013.
Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя. - 3-е изд. - 2013. - 207 с. - Библиогр.: с. 202-203. - ISBN 978-5-397-03412-8.

Аннотация

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

УДК
51 Математика

Предметные рубрики

Математика

Общее кол-во в фондах
2 экз.

Заказать на абонемент

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.313, ГУК, ауд. 313