Maths›03. Logic and Foundations10.4 Formal Models of ComputationTuring machines, register machines, lambda calculus, recursive functions, and the precise mathematical models used to define computation.