Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Вычислимость. Введение в теорию рекурсивных функций
Автор: Катленд Н.
Аннотация:
Книга охватывает основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Геделя о неполноте и Черча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений.
Для математиков, специалистов по ЭВМ, желающих ознакомиться с основами машинной математики.