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