ISBN: 978-5-397-04993-1
Внешнее покрытие издания: в обл.
Тираж издания: доп.
Фамилия автора в заголовке: Босс
Инициалы автора (личного имени (имен)): В.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Лекции по математике. Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя
Сведения, относящиеся к заглавию: [учебное пособие]
Первые сведения об ответственности: В. Босс
Сведения об издании: Изд.
Дополнительные сведения об издании: стереотип.
Место издания: Москва
Издатель: ЛИБРОКОМ
Дата издания: 2015
Объем издания (количество страниц): 207
Другие уточнения физических характеристик: ил.
Высота, см.: 22
Определитель УДК: (075.8)
Индекс УДК: 51
Статус записи (Тип информации): В наличии
Ширина, см: 15
Толщина, см: 1
Вес в граммах: 260
Индекс ББК: 22.12 22.13 22.18 32.811 32.97
Артикул: 2723490
Аннотация:

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

Читайте также: