Алгоритм, или эффективная процедура, — это механическое правило или автоматический метод для выполнения последовательности действий, в которой каждый шаг однозначно определён, с целью достижения какого-либо результата.
Если алгоритм используется для вычисления значений числовой функции (функции на натуральных числах), эта функция называется эффективно вычислимой, или просто вычислимой.