Моделирование систем. Лекция 2. Формализация и алгоритмизация процессов функционирования систем