Формализация и алгоритмизация