Какие существуют виды формальных языков для построения математических моделей?

Некоторые виды формальных языков для построения математических моделей:

• Языки алгебраического моделирования (AML). 1 Это языки программирования высокого уровня для описания и решения задач высокой сложности для крупномасштабных математических вычислений. 1 Примеры: AIMMS, AMPL, GAMS, Gekko, Mosel, OPL, MiniZinc и OptimJ. 1
• Языки математической логики. 23 Используются для символической записи фактов и теорий математики, математической логики, физики, химии, информатики. 3
• Языки программирования, где используются вычисления. 3 К ним относятся Python, C/C++, Java. 3
• Функциональные языки, где понятие функции совпадает с математическим определением. 3 Примеры: Erlang, F#. 3
• Фортран ориентирован на решение математических задач, язык R — на статистические задачи. 3 Matlab — среда для математических вычислений. 3