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 (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively. The idea is related to a placeholder (a symbol that will later be replaced by some value), or a wildcard character that stands for an unspecified symbol.
- Comment
- enIn mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively. The idea is related to a placeholder (a symbol that will later be replaced by some value), or a wildcard character that stands for an unspecified symbol.
- Depiction
- DifferentFrom
- Dummy variable (disambiguation)
- Free parameter
- Has abstract
- enIn mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively. The idea is related to a placeholder (a symbol that will later be replaced by some value), or a wildcard character that stands for an unspecified symbol. In computer programming, the term free variable refers to variables used in a function that are neither local variables nor parameters of that function. The term non-local variable is often a synonym in this context. A bound variable, in contrast, is a variable that has been bound to a specific value or range of values in the domain of discourse or universe. This may be achieved through the use of logical quantifiers, variable-binding operators, or an explicit statement of allowed values for the variable (such as, "…where is a positive integer".) Examples are given in the next section. However it is done, the variable ceases to be an independent variable on which the value of the expression depends, whether that value be a truth value or the numerical result of a calculation, or, more generally, an element of an image set of a function. Note that while the domain of discourse in many contexts is understood, when an explicit range of values for the bound variable has not been given, it may be necessary to specify the domain in order to properly evaluate the expression. For example, consider the following expression in which both variables are bound by logical quantifiers: This expression evaluates to false if the domain of and is the real numbers, but true if the domain is the complex numbers. The term "dummy variable" is also sometimes used for a bound variable (more commonly in general mathematics than in computer science), but this should not be confused with the identically named but unrelated concept of dummy variable as used in statistics, most commonly in regression analysis.
- Hypernym
- Notation
- Is primary topic of
- Free variables and bound variables
- Label
- enFree variables and bound variables
- Link from a Wikipage to another Wikipage
- Abstract syntax tree
- Anaphor
- Antecedent (grammar)
- Binding (linguistics)
- Boolean-valued function
- Bound variable pronoun
- Category:Computer programming
- Category:Logic symbols
- Category:Mathematical notation
- Category:Predicate logic
- Closure (computer science)
- Combinatory logic
- Computable function
- Computer programming
- Computer science
- Coreference
- Domain of discourse
- Dummy variable (statistics)
- Expression (mathematics)
- File:Binary math expression tree.svg
- Formal language
- Formal semantics (logic)
- Function (computer science)
- Government and binding theory
- Grammaticality
- Higher-order functions
- Lambda calculus
- Lambda lifting
- Local variable
- Logical conjunction
- Logical operator
- Logical quantifier
- Logical value
- Mathematical logic
- Mathematical notation
- Mathematics
- Name binding
- Non-local variable
- Norwegian language
- Operator (mathematics)
- Parameter (computer programming)
- Personal pronoun
- Pragmatics
- Reciprocal pronoun
- Reference
- Referent
- Reflexive pronoun
- Scope (programming)
- Semantics
- Subject (grammar)
- Substitution (logic)
- Summation
- Swedish language
- Symbol
- Syntax
- Tree traversal
- Universal quantifier
- Universe (mathematics)
- Variable (programming)
- Wildcard character
- SameAs
- 55K5S
- Freie Variable und gebundene Variable
- Fria och bundna variabler
- m.012vwq
- Q935944
- Variable libre y variable ligada
- Variáveis livres e ligadas
- Вільні і зв'язані змінні
- المتغير الحر والمتغير المقيد
- متغیر آزاد و متغیر مقید
- 自由变量和约束变量
- 自由変数と束縛変数
- 자유 변수와 종속 변수
- Subject
- Category:Computer programming
- Category:Logic symbols
- Category:Mathematical notation
- Category:Predicate logic
- Thumbnail
- WasDerivedFrom
- Free variables and bound variables?oldid=1097656027&ns=0
- WikiPageLength
- 14469
- Wikipage page ID
- 147460
- Wikipage revision ID
- 1097656027
- WikiPageUsesTemplate
- Template:!
- Template:Calculus topics
- Template:Cite book
- Template:Expand section
- Template:For
- Template:Redirect-distinguish
- Template:Refimprove
- Template:Reflist
- Template:Sfn
- Template:Short description
