|
|
ТЕРМТЕРМ (англ. term, франц. terme, от лат. terminus — граница, предел, позднее — выражение, определение), в логико-математич. исчислении — аналог подлежащего или дополнения естеств. языков, т. е. выражение, обозначающее (или описывающее —см. Дескрипция) к.-л. объект из универсума — предметной области предполагаемой модели этого исчисления. Частным случаем Т. являются переменные. Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ТЕРМ (англ. term, франц. terme) – в формализованных языках прикладных логико-матем. исчислений аналог подлежащего или дополнения естественных (разговорных) языков, т.е. выражение (слово), обозначающее ("описывающее") к.-л. предмет универсума. Иначе говоря, Т. – это то, значениями чего могут быть только значения предметных переменных. Т.о., класс переменных включается в класс Т., к-рый в формальной арифметике определяется обычно указанием условий построения ("порождения") Т. путем применения осн. арифметич. операций (операций: "следующий за...", "сложение", "умножение") к т.н. исходным Т., напр. к нулю и каждой переменной. Класс порождаемых таким путем Т. является разрешимым (см. Разрешимое и перечислимое множества). Т., содержащий переменные, наз. п е р е м е н н ы м. Очевидно, что переменный Т. принимает определ. значение, когда указаны значения всех его переменных, взятых в определ. порядке. ?сли Т. не содержит переменных, он наз. п о с т о я н н ы м. М. Новосёлов. Москва. Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970. Синонимы: Категория: Словари и энциклопедии » Философия » Философская энциклопедия Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|