Интуитивные понятия алгоритма и вычислимой функции

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

Если алгоритм используется для вычисления значений числовой функции, эта функция называется эффективно вычислимой, или просто вычислимой.