theory of computation

Computer Science is no more about computers than astronomy is about telescopes.

lambda calculus

combinator calculus

models

sets

sequences and tuples

vectors

numeral systems

binary

hexadecimal

computer utilities

calc

bc