Go backward to Example: Decimal Number Representation Go up to Top Go forward to Multiple Variable Bindings |
Likewise, for any finite sequence b of binary digits 0 and 1, the value
(sum0 <= i < length(b) bi*2i)
denotes the value of this sequence in the binary number system, e.g., the value of [0, 1, 1, 0, 1] is
1*24+0*23+1*22+1*21+0*20=22.
Generalization to any number base.