Akademik

- языковое выражение, призванное обозначать объекты. Напр., выражения являются различными Т., обозначающими один и тот же объект. Т. могут содержать свободные переменные (параметры), фиксация значений к-рых однозначно определяет в соответствии с семантич. правилами языка нек-рый объект - значение Т. при данных значениях его свободных переменных. Так, напр., если f - переменная, значениями к-рой являются интегрируемые действительные функции, а х, а, b - переменные по действительным числам, то выражение является Т. с тремя параметрами а, b и f, обозначающим при каждом значении параметров вполне определенное действительное число (переменная хявляется в этом Т. связанной). Синтаксически Т. характеризуются тем, что их можно подставлять вместо переменных в другие выражения языка - Т. и формулы, получая при этом Т. и формулы соответственно.
В формализованных языках имеются формальные, не зависящие от семантики языка правила построения Т. п выделения в них свободных переменных; для многосортных языков имеются также правила, определяющие сорт возникающих Т.
В. Н. Гришин.