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

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