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