MATH3102/5102 available handouts (for 2009-10):
Introductory Notes (pdf file)
Problems 1 (pdf file)
Problems 2 (pdf file)
Problems 3 (pdf file)
Problems 4 (pdf file)
Problems 5 (pdf file)
Problems 6 (pdf file)
ANSWERS TO PAST PROBLEM SHEETS ARE AVAILABLE DURING THE LECTURES.
Modifications and Additions to the Problem Sheet Solutions. (pdf file) New: added on 6th May.
Definition of primitive recursive functions (pdf file)
Axioms of first-order Peano Arithmetic (pdf file)
MATH 3100 exam paper, February 1996 (pdf file)
MATH 3101 exam paper, May-June 1997 (pdf file)
MATH 3102 exam paper, May-June 2009 (pdf file)
MATH 5102M exam paper, May-June 2009 (pdf file)
List
of errata for the recommended book for the course Computability Theory
To
, or to
Barry Cooper's Home Page: 