Основы алгоритмов: формальные свойства и примеры