[font:5203504184="Tahoma"]Н. Катленд | Вычислимость. Введение в теорию рекурсивных функций. [1983][DjVu]
Обложка:
Жанр: Обучающие материалы
Описание:
Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и её приложений: сложность вычислений и алгоритмов, теоремы Геделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений.
Для математиков, специалистов по ЭВМ, желающих ознакомится с теоретическими основами машинной математики. |
|
|
|
(Голосов: 
