Вычислимость. Введение в теорию рекурсивных функций
Автор:Катленд Н. Год: 1983 Издание: Страниц: 256 ISBN: [не указан] Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Гёделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений. Для математиков, специалистов по ЭВМ, желающих ознакомиться с теоретическими основами машинной математики.