Автор: Катленд Н.
Название: Вычислимость. Введение в теорию рекурсивных функций.
Издательство: М.: Мир, 1983. - 256 с.: ил.
ISBN: -
Формат: djvu.
Размер: 5,18 МБ.

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

Скачать: