12557 викторин, 1974 кроссворда, 936 пазлов, 93 курса и многое другое...

Какой язык позволяет формализовать зависимость между величинами путём записи соотношения между количественными характеристиками объекта?