свойства алгоритма в информатике