Математическая энциклопедия - терм

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

В формализованных языках имеются формальные, не зависящие от семантики языка правила построения Т. п выделения в них свободных переменных; для многосортных языков имеются также правила, определяющие сорт возникающих Т.

В. Н. Гришин.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985