MATH3102/5103M available handouts:

Introductory Notes (pdf file)

Slides from introductory lecture (pdf file)

Lecture notes, chaps. 1-3 (pdf file)

Lecture notes, chaps. 4-6 (pdf file)

Lecture notes, chaps. 7-9 (pdf file)

Lecture notes, chaps. 10-12 (pdf file)

Lecture notes from final week of MATH5103M (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)

Axioms of first-order Peano Arithmetic (pdf file)

Definition of primitive recursive functions (pdf file)

MATH 3101 exam paper, May-June 1997 (pdf file)

MATH 3100 exam paper, February 1996 (pdf file)

MATH 3102 exam paper, May 2010 (pdf file)

MATH 3102 exam solutions, May 2010 (pdf file)

MATH 5102M exam paper, May 2010 (pdf file)

MATH 5102M exam solutions, May 2010 (pdf file)

List of errata for the recommended book for the course Computability Theory

To , or to Barry Cooper's Home Page: