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.
随便看	artamonov, nikolai artamonov, nikolai dmitrievich artamon sergeevich matveev artamon sergeyevich matveyev artamon sergyeevich matvyeev artamon zakharovich muravev artamus artan art and antiquities, books, and historical reproductions art and archaeology research papers art and archaeology technical abstracts art and architectural history art and architecture art and architecture of assyria art and architecture of japan art and architecture review board art and craft art and craft of problem solving art and culture studies art and design art and design admissions registry art and design books in brighton art and design collective art and design research centre art and dreams