Akademik

        (англ. term, франц. terme, от лат. terminus — граница, предел, позднее — выражение, определение), в логико-математич. исчислении — аналог подлежащего или дополнения естеств. языков, т. е. выражение, обозначающее (или описывающее —см. Дескрипция) к.-л. объект из универсума — предметной области предполагаемой модели этого исчисления. Частным случаем Т. являются переменные.

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