Дискретность.

От лат. Discretus - разделенный, прерывистый. Это свойство предполагает, что любой алгоритм должен состоять из последовательности шагов, следующих друг за другом. следующий шаг выполняется только после завершения предыдущего.

Детерминированность (определенность, точность).

От лат.Determinate - определенность, точность. Это свойство указывает, что любое действие в алгоритме должно быть строго и недвусмысленно определенно и описано для каждого случая.

Массовость.

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

Результативность.

В алгоритме рассмотрены все возможные ситуации и для каждой из них получен результат.

Конечность.

Это свойство определяет завершение каждого действия в отдельности и алгоритма в целом за конечное число шагов.