Useful Links for Primitive Recursive functions

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.

  1. http://www.logicmatters.net/resources/pdfs/gwt/GWT05.pdf
    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.
  2. http://www.eecs.qmul.ac.uk/~bellin/rec08.pdf
  3. http://www.cs.mcgill.ca/~prakash/Courses/comp330/Notes/prim_rec_notes.pdf – lecture note from McGill University
  4. https://sites.google.com/site/modelsofcomputation/Home/litterature/prf.pdf – Lecture notes by Bengt Nordström
  5. http://www.cs.cmu.edu/~cdm/pdf/PrimRec-6up.pdf – Lecture slide CMU
Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

What’s this?

You are currently reading Useful Links for Primitive Recursive functions at Dinesh Simk.

meta

%d bloggers like this: