- Добавил: daromir
- Дата: 11-06-2018, 09:27
- Комментариев: 0

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