1. Дискретность.  
Вы можете выполнить шаг только после выполнения предыдущего. Например, в алгоритме вычисления 8*3+2 (без скобок) вы сперва выполните умножение(по правилу), и только затем прибавите 2. Иначе ответ неверен.

2.Определенность.
Вы не можете разделить 8 на 3, если Вам ясно сказано: умножьте. Определенность - это четкое прописывание условия задачи.

3.Результативность.
После выполнения действий Вы получите ответ 26 и только 26. Результативность следует из определенности. Благодаря результативности Вы получите "среду", в которой все объекты однозначно определены.

4. Понятность.
(Здесь тоже нужно объяснить? По-моему, свойство само за себя говорит.)

5.Массовость.
Алгоритм может быть применен не единожды. То есть в нашем примере 8*3+2 присутствуют операции умножения и сложения, но они могут встречаться не только в нашем примере, а "пригодны" для множества других задач, в которых требуется умножить или сложить.

Надеюсь, помог.