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

К основным свойствам алгоритмов относят:

Понятность алгоритма — исполнитель должен понимать, как его выполнять.

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

Дискретность алгоритма — это процесс решения поставленной задачи как последовательное исполнение раннее определенных этапов.

Результативность алгоритма — это последовательность действий, которая должна привести к решению задачи за конечное число шагов.

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