Основные свойства алгоритмов: 1) Конечность (алгоритм должен завершаться за конечное число шагов); 2) Определенность (каждый шаг алгоритма должен быть четко и однозначно определен); 3) Результативность (алгоритм должен приводить к конкретному результату); 4) Массовость (алгоритм должен быть применим к разным исходным данным); 5) Корректность (алгоритм должен выдавать правильный результат для всех допустимых исходных данных).