bound variable

[¦bau̇nd ′ver·ē·ə·bəl] (mathematics) In logic, a variable that occurs within the scope of a quantifier, and cannot be replaced by a constant.

bound variable

(1)A bound variable or formal argument in a functiondefinition is replaced by the actual argument when thefunction is applied. In the lambda abstraction

\\ x . M

x is the bound variable. However, x is a free variable ofthe term M when M is considered on its own. M is the scopeof the binding of x.

bound variable

(2)In logic a bound variable is a quantified variable. Seequantifier.

单词	bound variable
释义	bound variable bound variable [¦bau̇nd ′ver·ē·ə·bəl] (mathematics) In logic, a variable that occurs within the scope of a quantifier, and cannot be replaced by a constant. bound variable (1)A bound variable or formal argument in a functiondefinition is replaced by the actual argument when thefunction is applied. In the lambda abstraction \\ x . M x is the bound variable. However, x is a free variable ofthe term M when M is considered on its own. M is the scopeof the binding of x. bound variable (2)In logic a bound variable is a quantified variable. Seequantifier.
随便看	arbraoth, forfarshire arbre arbre de la liberté arbres binaires de recherche arbre urinaire sans préparation arbre à cames en tête arbrfc arbroath arbroath, angus arbroath, forfarshire arbroath, scotland arbrp arbs arbsc arbta arbuckle mountains arbuckle national recreation area arbuckle orogeny arbucs arbuk arbus arbuscle arbuscular arbuscular mycorhiza arbuscular mycorrhiza