Вычислимость. Введение в теорию рекурсивных функций
Катленд Н. (Cutland)
Книга охватывает основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Геделя о неполноте и Черча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений.Для математиков, специалистов по ЭВМ, желающих ознакомиться с основами машинной математики.
Kategorie:
Rok:
1983
Wydawnictwo:
Мир
Język:
russian
Strony:
255
Plik:
DJVU, 5.19 MB
IPFS:
,
russian, 1983