free variable
free var·i·a·ble
F f Transcription
-
- US Pronunciation
- US IPA
-
- [free vair-ee-uh-buh l]
- /fri ˈvɛər i ə bəl/
-
- US Pronunciation
- US IPA
-
- [free vair-ee-uh-buh l]
- /fri ˈvɛər i ə bəl/
Definitions of free variable words
- noun free variable (in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it. 1
- noun Definition of free variable in Technology 1. A variable referred to in a function, which is not an argument of the function. In lambda-calculus, x is a bound variable in the term M = \ x . T, and a free variable of T. We say x is bound in M and free in T. If T contains a subterm \ x . U then x is rebound in this term. This nested, inner binding of x is said to "shadow" the outer binding. Occurrences of x in U are free occurrences of the new x. Variables bound at the top level of a program are technically free variables within the terms to which they are bound but are often treated specially because they can be compiled as fixed addresses. Similarly, an identifier bound to a recursive function is also technically a free variable within its own body but is treated specially. A closed term is one containing no free variables. See also closure, lambda lifting, scope. 2. In logic, a variable which is not quantified (see quantifier). 1
- noun free variable (programming) A variable that is not bound to a storage location. 0
- noun free variable (mathematics, logic) A variable (occurring within some expression or well-formed formula) which is not bound by a quantifier or analogous symbol (such as a lambda abstractor, the "differential d" near the end of an integral or differential form, or a summation symbol). 0
Information block about the term
Parts of speech for Free variable
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
free variable popularity
This term is known only to a narrow circle of people with rare knowledge. Only 7% of English native speakers know the meaning of this word.
According to our data most of word are more popular. This word is almost not used. It has a much more popular synonym.
free variable usage trend in Literature
This diagram is provided by Google Ngram ViewerSee also
Matching words
- Words starting with f
- Words starting with fr
- Words starting with fre
- Words starting with free
- Words starting with freev
- Words starting with freeva
- Words starting with freevar
- Words starting with freevari
- Words starting with freevaria
- Words starting with freevariab
- Words starting with freevariabl
- Words starting with freevariable
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?