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