BOUND VARIABLE
\bˈa͡ʊnd vˈe͡əɹɪəbə͡l], \bˈaʊnd vˈeəɹɪəbəl], \b_ˈaʊ_n_d v_ˈeə_ɹ_ɪ__ə_b_əl]\
Sort: Oldest first
-
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 . Mx 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.2. In logic a bound variable is a quantified variable. Seequantifier.
By Denis Howe
Word of the day
basidiomycota
- comprises fungi bearing the spores on basidium: Gasteromycetes (puffballs); Tiliomycetes (comprising orders Ustilaginales (smuts) and Uredinales (rusts)); Hymenomycetes (mushrooms; toadstools; agarics; bracket fungi); in some classification systems considered a division of kingdom comprises fungi bearing spores on a basidium; includes Gasteromycetes (puffballs) Tiliomycetes comprising the orders Ustilaginales (smuts) and Uredinales (rusts) Hymenomycetes (mushrooms, toadstools, agarics bracket fungi).