У посібнику викладаються додаткові питання теорії алгоритмів, зокрема ті, що стосуються доведення фундаментальної теореми про збіг класів діофантових та рекурсивно перераховуваних множин. Наводяться необхідні для цього факти з теорії рівнянь Пелля, а також метод цепних дробів для здобуття мінімального розв’язку такого рівняння. Посібник розрахований на студентів, що навчаються за спеціальністю «Комп’ютерна безпека» та за напрямом «Інформаційна безпека». Його можна використовувати під час вивчення дисциплін «Математична логіка і теорія алгоритмів», «Теорія алгоритмів», «Складність обчислень», «Криптографічні методи захисту інформації», «Моделі безпеки комп’ютерних систем» та «Криптографічні протоколи», а також інших спеціалізованих дисциплін.