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.
随便看	options backdating options chain options chains options & choices, inc. options class options classes options clearing corp options clearing corp. options clearing corporation options clearing officer examination options configuration modeling language options contract options contract multiple options contracts options cycles options d'intérêt général options d'investissement variable options disclosure document option select button option seller option sellers option series options exchange options exchanges options expiration