4. Как называется свойство алгоритма, означающее, что путь решения задачи разделен на отдельные шаги?

Это свойство называется дискретностью (вариант а). Дискретность означает, что алгоритм состоит из последовательности отдельных, четко определенных шагов.