Свойства алгоритма в программировании