Лекции по математике. Т. 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя: Учебное пособие
Этот товар закончился.
Описание и характеристики
ID товара
2533242
Издательство
Либроком
Год издания
2015
ISBN
978-5-397-04993-1, 978-5-397-05866-7, 978-5-397-06483-5, 978-5-9710-7713-8
Количество страниц
208
Размер
1.1x14.5x21.5
Тип обложки
Мягкий переплёт
Вес, г
259
Отзывы
15 бонусов
за полезный отзыв длиной от 300 символов
15 бонусов
если купили в интернет-магазине «Читай-город»
Оставьте отзыв и получите бонусы
Оставьте первый отзыв и получите за него бонусы.
Это поможет другим покупателям сделать правильный выбор.
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек.
.