THERM е

- езиков израз, предназначен да обозначава обекти. Например изразите са различни Т., обозначаващи един и същ обект. Т. може да съдържа безплатни променливи (параметри), фиксирането на стойностите to-rykh еднозначно определя в съответствие със семантиката. по правилата на езика, определен обект е стойността на Т. за дадените стойности на неговите свободни променливи. Така например, ако f е променлива, стойностите на която са интегрируеми реални функции, и x, a, b - променливи над реални числа, тогава изразът е Т. с три параметъра а, б и f, обозначавайки за всяка стойност на параметър добре дефинирано реално число (променливата x е свързана в тази Т.). Синтактично Т. се характеризират с факта, че могат да бъдат заместени вместо променливи в други изрази на езика - Т. и формули, като по този начин се получават Т. и формули, съответно.
IN формализирани езици има формални правила за конструиране на T. n, които не зависят от семантиката на езика, за избор на свободни променливи в тях; за многосортираните езици също има правила, които определят вида на възникващите T.
В. Н. Гришин.

Енциклопедия по математика. - М.: Съветска енциклопедия. И. М. Виноградов. 1977-1985 .

Вижте какво е "THERM" в други речници:

СРОК - (английски термин, френски терми, от латински терминал граница, граница, по-късно израз, дефиниция), в логически математически. аналог на смятането на предмета или допълнение на природата. езици, тоест израз, обозначаващ (или описващ, виж Описание) ... Философска енциклопедия

---