Ответ:

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