Учебное пособие предназначено для изучения общепрофессиональной дисциплины ОП.08 «Теория алгоритмов» по специальности «Программирование в компьютерных системах» укрупненной группы специальностей «Информатика и вычислительная техника». .Представлены алгоритмы на языке блок-схем и алгоритмическом языке. Рассмотрена на неформальном уровне сложность алгоритмов и массовых проблем вплоть до характеристики классов сложности Р, PN и класса NP-полных массовых проблем. На формально-логическом (абстрактном) уровне подробно изложены две формализации понятия алгоритма (машины Тьюринга и рекурсивные функции), доказана их эквивалентность. Рассмотрены основные теоремы общей (абстрактной) теории алгоритмов,