Дополнительные вопросы теории алгоритмов (Дурнев В.Г., Зеткина О.В.) 2020
Автор: Дурнев В.Г., Зеткина О.В.
В пособии излагаются дополнительные вопросы теории алгоритмов, прежде всего связанные с доказательством фундаментальной теоремы о совпадении классов диофантовых и рекурсивно перечислимых множеств. Приводятся необходимые для этого факты из теории уравнения Пелля, метод цепных дробей для получения минимального решения этого уравнения. Пособие может быть использовано при изучении дисциплин "Математическая логика и теория алгоритмов", "Теория алгоритмов", "Сложность вычислений", "Криптографические методы защиты информации", "Модели безопасности компьютерных систем" и "Криптографические протоколы", а также специальных дисциплин. Пособие предназначено для студентов, обучающихся по специальности "Компьютерная безопасность" и по направлению "Информационная безопасность".