Для того чтобы получить математическую постановку задачи вводят идентификаторы, обозначающие переменные и константы, а фигурирующие в вербальных высказываниях физические, экономические, социальные и другие связи моделируют введением логических, арифметических, алгебраических и математических соотношений между переменными и константами. Области допустимых значений управляемых и неуправляемых факторов моделируют проявления законов природы, ограничения на активные ресурсы и проч. Эти ограничения формируются уравнениями и неравенствами соответствующего вида.