ТЕРМ

англ. term, франц. terme) – в формализованных языках прикладных логико-матем. исчислений аналог подлежащего или дополнения естественных (разговорных) языков, т.е. выражение (слово), обозначающее ("описывающее") к.-л. предмет универсума. Иначе говоря, Т. – это то, значениями чего могут быть только значения предметных переменных. Т.о., класс переменных включается в класс Т., к-рый в формальной арифметике определяется обычно указанием условий построения ("порождения") Т. путем применения осн. арифметич. операций (операций: "следующий за...", "сложение", "умножение") к т.н. исходным Т., напр. к нулю и каждой переменной. Класс порождаемых таким путем Т. является разрешимым (см. Разрешимое и перечислимое множества). Т., содержащий переменные, наз. п е р е м е н н ы м. Очевидно, что переменный Т. принимает определ. значение, когда указаны значения всех его переменных, взятых в определ. порядке. ?сли Т. не содержит переменных, он наз. п о с т о я н н ы м. М. Новоселов. Москва.