В.Г. Дурнев, О.В. Зеткина | Дополнительные вопросы теории алгоритмов (2020) [DJVU]
Автор: В.Г. Дурнев, О.В. Зеткина
Издательство: ЯрГУ
Жанр: Компьютерная литература
Формат: DJVU
Качество: OCR
Иллюстрации: Без иллюстраций
Описание:В 1900 году немецкий математик Давид Гильберт сформулировал свои знаменитые Математические проблемы. В десятой из них он просил найти алгоритм для распознавания наличия решений у произвольных диофантовых уравнений. Спустя семьдесят лет было установлено, что такого алгоритма не существует. Дополнительные вопросы теории алгоритмов, связанные с доказательством фундаментальной теоремы о совпадении классов диофантовых и рекурсивно перечислимых множеств, излагаются в этом пособии. Приводятся необходимые для этого факты из теории уравнения Пелля, метод цепных дробей для получения минимального решения этого уравнения. Пособие предназначено для студентов, обучающихся по специальности "Компьютерная безопасность" и по направлению "Информационная безопасность".
1. Предисловие
2. Проблемы Д. Гильберта. 10-я проблема Д. Гильберта
3. Примитивно рекурсивные и частично рекурсивные функции
4. Нумерационные функции
5. Рекурсивно перечислимые множества
6. Рекурсивно перечислимые предикаты
7. Диофантовы предикаты, отношения и функции
8. Уравнение Пелля
9. Разрешимость уравнения Пелля в натуральных числах
10. Непрерывные дроби
11. Алгоритмически неразрешимые проблемы в "непрерывных" разделах математики
12. Неразрешимые алгоритмические проблемы для обыкновенных дифференциальных уравнений
13. Несобственные интегралы
14. Арифметическая иерархия
Литература.
Скриншоты:
Время раздачи: Пн.-Пт. с 19.00 до 7.00, Сб.-Вс. 2/24 (минимум до появления первых 3-5 скачавших)