Тео́рия алгори́тмов — наука, изучающая общие свойства и закономерности
алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с
классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т. п.