free variable

English

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: 自由變量／自由变量 (zìyóu biànliàng), 自由變數／自由变数 (zìyóu biànshù)

• Czech: volná proměnná f
• French: variable libre (fr) f
• German: freie Variable f
• Greek: ελεύθερη μεταβλητή (el) f (eléftheri metavlití)
• Japanese: 自由変数 (じゆうへんすう, jiyū hensū), 自由変項 (じゆうへんこう, jiyū henkō)
• Russian: свобо́дная переме́нная f (svobódnaja pereménnaja)
• Tagalog: malayang aligin

in logic

• Czech: volná proměnná f