follow Dictionary.com

How do you spell Hannukah?

free variable

noun, Logic.
1.
(in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it.
Compare bound variable.
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source
Examples from the web for free variable
  • Actually, its southward speed is not a free variable.
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).

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Difficulty index for free variable

Few English speakers likely know this word

Word Value for free

7
7
Scrabble Words With Friends