 |
- ⒶⒸКатленд Н. Вычислимость. Введение в теорию рекурсивных функций. (Computability. An introduction to recursive function theory, 1980) [Djv- 5.2M] Перевод с английского А.А. Мучника под редакцией С.Ю. Маслова.
(Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1983)
Скан, OCR, обработка, формат Djv: ???, предоставил: Михаил, 2013
- КРАТКОЕ ОГЛАВЛЕНИЕ:
Предисловие редактора перевода (5).
Предисловие (7).
Введение. Предварительные замечания и обозначения (9).
Глава 1. Вычислимые функции (14).
Глава 2. Порождение вычислимых функций (33).
Глава 3. Другие подходы к вычислимости: тезис Черча (56).
Глава 4. Нумерация вычислимых функций (80).
Глава 5. Универсальные программы (92).
Глава 6. Разрешимость, неразрешимость и частичная разрешимость (106).
Глава 7. Рекурсивные и рекурсивно перечислимые множества (129).
Глава 8. Арифметика и теорема Геделя о неполноте (152).
Глава 9. Сводимости и степени (167).
Глава 10. Эффективные операции на множестве частичных функций (192).
Глава 11. Вторая теорема о рекурсии (211).
Глава 12. Сложность вычисления (222).
Глава 13. Пути дальнейшего изучения (246).
Словарь обозначений (249).
Список литературы (252).
ИЗ ИЗДАНИЯ: Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Геделя о неполноте и Черча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений.
Для математиков, специалистов по ЭВМ, желающих ознакомиться с теоретическими основами машинной математики. |
![]() |
