- Артикул:00-01105280
- Автор: Мальцев А.И.
- Тираж: 10400 экз.
- Обложка: Твердая обложка
- Издательство: Наука (все книги издательства)
- Город: Москва
- Страниц: 368
- Формат: 84х108 1/32
- Год: 1986
- Вес: 593 г
Развернуть ▼
Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов.
Для математиков различных специальностей: научных работников, аспирантов и студентов.
Содержание
Предисловие
Предисловие редактора ко второму изданию
Введение
Глава I. Основные понятия
§ 1. Функции и операции
§ 2. Основные вычислимые операторы
Глава II. Примитивно рекурсивные функции и рекурсивно перечислимые множества
§ 3. Примитивно рекурсивные функции
§ 4. Рекурсивно перечислимые множества
Глава III. Общерекурсивные и частично рекурсивные функции
§ 5. Общерекурсивные функции
§ 6. Частично рекурсивные функции
Глава IV. Нумерованные совокупности
§ 7. Нумерации совокупностей множеств и функций
§ 8. Сводимость и креативность множеств
§ 9. Нумерации произвольных совокупностей
§ 10. Универсальные и креативные системы множеств
Глава V. Алгоритмы и машины Тьюринга
§ 11. Словарные множества и функции
§ 12. Машины Тьюринга
§ 13. Приложения
Глава VI. Варианты машин и алгоритмов Тьюринга-Поста
§ 14. Нормальные и операторные алгоритмы
§ 15. Многоленточные машины и ТАГ-системы
§ 16. Диофантовы уравнения
Список литературы
Приложение. Диофантовость рекурсивно перечислимых множеств и предикатов (Д. А. Захаров)
Предметный указатель
Рекомендуем
