Формализация помогает в постановке задачи для программирования следующим образом:

1. Построение математической модели задачи. 14 Взаимодействие моделей объектов, участвующих в реальном процессе, заменяется известными математическими соотношениями и уравнениями. 4
2. Определение принадлежности задачи к одному из известных классов. 1 В результате этого выбирается соответствующий математический аппарат, определяется формат исходных данных и результатов работы, вводится система условных обозначений. 1
3. Запись известных связей между исходными данными и результатами с помощью математических соотношений. 2
4. Выбор наиболее подходящего способа для решения задачи. 2 После математической постановки задачи оперируют абстрактными математическими понятиями, величинами, формулами для выбора метода решения. 1

Также на этом этапе определяются допустимая точность, объём и время вычислений, а также технические средства, с помощью которых будет реализовываться решение. 4