Дополнительные вопросы теории алгоритмов : учебно-методическое пособие

В пособии излагаются дополнительные вопросы теории алгоритмов, прежде все-
го связанные с доказательством фундаментальной теоремы о совпадении классов
диофантовых и рекурсивно перечислимых множеств. Приводятся необходимые для
этого факты из теории уравнения Пелля, метод цепных дробей для получения ми-
нимального решения этого уравнения.
Пособие предназначено для студентов, обучающихся по специальности “Компью-
терная безопасность” и по направлению “Информационная безопасность”. Оно может
быть использовано при изучении дисциплин “Математическая логика и теория алго-
ритмов”, “Теория алгоритмов”, “Сложность вычислений”, “Криптографические мето-
ды защиты информации”, “Модели безопасности компьютерных систем” и “Крипто-
графические протоколы”, а также специальных дисциплин.