- variable binding rule
- правило связывания переменных (в схеме представления знаний)
Большой англо-русский и русско-английский словарь. 2001.
variable binding rule
Смотреть что такое "variable binding rule" в других словарях:
Binding (linguistics) — In linguistics, binding theory is any of a broad class of theories dealing with the distribution of pronominal and anaphoric elements. The idea that there should be a specialised, coherent theory dealing with this particular set of phenomena… … Wikipedia
Rule of St. Benedict — • Lengthy article on the text of the Rule and its composition, some analysis, and practical application Catholic Encyclopedia. Kevin Knight. 2006. Rule of St. Benedict Rule of St. Benedict … Catholic encyclopedia
Law binding — Law Law (l[add]), n. [OE. lawe, laghe, AS. lagu, from the root of E. lie: akin to OS. lag, Icel. l[ o]g, Sw. lag, Dan. lov; cf. L. lex, E. legal. A law is that which is laid, set, or fixed; like statute, fr. L. statuere to make to stand. See… … The Collaborative International Dictionary of English
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Théorie du liage — En linguistique, la théorie du liage peut désigner n importe laquelle des membres du grand groupe de théories ayant pour objet la distribution des éléments pronominaux et anaphoriques. L idée selon laquelle il devrait y avoir une théorie… … Wikipédia en Français
David Kaplan (philosopher) — For other people of the same name, see David Kaplan (disambiguation). David Benjamin Kaplan (born 1933) is an American philosopher and logician teaching at UCLA. His philosophical work focuses on logic, philosophical logic, modality, philosophy… … Wikipedia
Peter Pagin — (born 1953) is Professor of Philosophy at Stockholm University. He is a specialist in the philosophy of language and has worked extensively on foundational issues in semantics and on technical and philosophical problems about the compositionality … Wikipedia
Life Sciences — ▪ 2009 Introduction Zoology In 2008 several zoological studies provided new insights into how species life history traits (such as the timing of reproduction or the length of life of adult individuals) are derived in part as responses to… … Universalium
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
MINHAG — (Heb. מִנְהָג; custom, usage ) from the verb to lead. DEFINITION The word is found in the Bible (II Kings 9:2) meaning the driving (of a chariot) but it was taken by the rabbis to refer to usage. As such, it is used in a wide variety of senses.… … Encyclopedia of Judaism
