При решении задачи на компьютере этап формализации является ключевым шагом, в ходе которого задача переводится в строгую, понятную для компьютера форму. На этом этапе происходит создание математической модели, которая описывает суть задачи и её условия в математических терминах.
Таким образом, правильный ответ на ваш вопрос – это 3. математическая модель.
Этап формализации позволяет определить, как задача будет решаться, какие данные нужны, какие условия должны быть выполнены, и как будет выглядеть целевая функция, если таковая имеется.
Если у вас есть дополнительные вопросы по этому или другим этапам решения задач на компьютере, не стесняйтесь спрашивать!