theory of computation Computer Science is no more about computers than astronomy is about telescopes. linear algebra lambda calculus combinator calculus models sets sequences and tuples vectors numeral systems binary hexadecimal computer utilities calc bc