- unbound variable
-
свободная [несвязанная\] переменная
Англо-русский словарь технических терминов. 2005.
unbound variable
Смотреть что такое "unbound variable" в других словарях:
Variable — A variable (pronEng|ˈvɛərɪəbl) is an attribute of a physical or an abstract system which may change its value while it is under observation. Examples include the height of a child, the temperature across a state, or the input to a function. This… … Wikipedia
Undefined variable — An undefined variable in the source code of a computer program is a variable that is accessed in the code but has not been previously declared by that code.In some programming languages an implicit declaration is provided the first time such a… … Wikipedia
Declaration (computer programming) — In programming languages, a declaration specifies the identifier, type, and other aspects of language elements such as variables and functions. It is used to announce the existence of the element to the compiler; this is important in many… … Wikipedia
Resolution (logic) — In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem proving technique for sentences in propositional logic and first order logic. In other words, iteratively applying the… … Wikipedia
Oz (programming language) — Oz Paradigm(s) multi paradigm: logic, functional, imperative, object oriented, constraint, distributed, concurrent Appeared in 1991 Designed by Gert Smolka, his students Developer Mozart … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
несвязанная переменная — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN unbound variable … Справочник технического переводчика
cosmos — /koz meuhs, mohs/, n., pl. cosmos, cosmoses for 2, 4. 1. the world or universe regarded as an orderly, harmonious system. 2. a complete, orderly, harmonious system. 3. order; harmony. 4. any composite plant of the genus Cosmos, of tropical… … 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
endocrine system, human — ▪ anatomy Introduction group of ductless glands (gland) that regulate body processes by secreting chemical substances called hormones (hormone). Hormones act on nearby tissues or are carried in the bloodstream to act on specific target organs… … Universalium
Stellar kinematics — is the study of the movement of stars without needing to understand how they acquired their motion. This differs from stellar dynamics, which takes into account gravitational effects. The motion of a star relative to the Sun can provide useful… … Wikipedia
