Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Proof Pearl: Defining Functions over Finite Sets
Document related concepts
Peano axioms wikipedia , lookup
Mathematical proof wikipedia , lookup
Mathematical logic wikipedia , lookup
Axiom of reducibility wikipedia , lookup
List of first-order theories wikipedia , lookup
Recursion (computer science) wikipedia , lookup
Computable function wikipedia , lookup
History of the function concept wikipedia , lookup
Transcript
