free variable

free variable
(in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it. Cf. bound variable.

* * *


Universalium. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • free variable — noun : a variable whose range is not restricted by quantification * * * Logic. (in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it. Cf. bound variable …   Useful english dictionary

  • free variable — noun A variable that is not bound to a storage location. Ant: bound variable See Also: scope …   Wiktionary

  • free variable — A variable not bound by a quantifier …   Philosophy dictionary

  • Variable liée — Variable libre En programmation informatique une variable libre est une variable référencée dans une fonction et qui n est pas une variable locale, ni un paramètre de cette fonction. En mathématiques, et dans d autres disciplines comprenant des… …   Wikipédia en Français

  • Free — may refer to: Free will Political freedom Economic freedom Something given or supplied without payment (gratis) Gratis versus Libre, the distinction between the two meanings above Free may also refer to: Contents 1 Arts and philosophy …   Wikipedia

  • Free variables and bound variables — In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place. The idea is related to …   Wikipedia

  • variable — variability, variableness, n. variably, adv. /vair ee euh beuhl/, adj. 1. apt or liable to vary or change; changeable: variable weather; variable moods. 2. capable of being varied or changed; alterable: a variable time limit for completion of a… …   Universalium

  • free — I. adjective (freer; freest) Etymology: Middle English, from Old English frēo; akin to Old High German frī free, Welsh rhydd, Sanskrit priya own, dear Date: before 12th century 1. a. having the legal and political rights of a citizen b. enjoying… …   New Collegiate Dictionary

  • Variable universal life insurance — (often shortened to VUL) is a type of life insurance that builds a cash value. In a VUL, the cash value can be invested in a wide variety of separate accounts, similar to mutual funds, and the choice of which of the available separate accounts to …   Wikipedia

  • Free-diving — Free diver with monofin, ascending. Freediving is any of various aquatic activities that share the practice of breath hold underwater diving. Examples include breathhold spear fishing, freedive photography, apnea competitions and, to a degree,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”