Формализация алгоритмов: важность и примеры