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

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