2011/01/14 § Leave a comment
The primitive recursive functions are defined using primitive recursion and composition as central operations, they are defined inductively. We define some base functions and some operations to build up new functions from old ones. There are lots of resources available online here are some of the links i find useful, hope you find interesting too.
http://www.logicmatters.net is really wonderful site and there are series of notes on the title “Godel Without (Too Many) Tears” http://www.logicmatters.net/resources/pdfs/gwt/, i really like this site and PRF (Primitive Recursive function) tutorial is great.
- http://www.cs.mcgill.ca/~prakash/Courses/comp330/Notes/prim_rec_notes.pdf – lecture note from McGill University
- https://sites.google.com/site/modelsofcomputation/Home/litterature/prf.pdf – Lecture notes by Bengt Nordström
- http://www.cs.cmu.edu/~cdm/pdf/PrimRec-6up.pdf – Lecture slide CMU