Терм

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