free variable

English

Wikipedia

Noun

free variable (plural free variables)

1. (programming) A variable that is not bound to a storage location.
2. (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).

Antonyms

• bound variable

Related terms

• scope

Translations

variable that is not bound to a storage location

• Chinese:

  Mandarin: 自由變量 (cmn), 自由变量 (cmn) (zìyóu biànliàng), 自由變數 (cmn), 自由变数 (cmn) (zìyóu biànshù)

• Czech: volná proměnná (cs) f
• French: variable libre (fr) f

• German: freie Variable (de) f
• Japanese: 自由変数 (ja) (じゆうへんすう, jiyū hensū), 自由変項 (ja) (じゆうへんこう, jiyū henkō)
• Russian: свободная переменная (ru) (svobódnaja pereménnaja) f 

in logic

• Czech: volná proměnná (cs) f