Теория алгоритмов

Теория алгоритмов [theory of algorithms] — раздел математики, изучающий общие свойства алгоритмов. Проблема построения алгоритма с теми или иными свойствами называется алгоритмической проблемой, ее неразрешимость означает отсутствие соответствующего алгоритма; если алгоритм вычисления функции существует, она называется вычислимой. Т.а. тесно связана с теорией автоматов, образует теоретическую основу для разработки алгоритмических языков, обосновывает принципы выработки наиболее эффективных алгоритмов для программирования и решения задач на компьютерах.