The first lecture is historical and is based on the attached papers by Kennedy and Gandy.
All exercises in chapter 1 of Cutland's text.
In chapter 2 of Cutland do problems in the attached.
Complete the proof that the classes of the URM-computable functions and the partial recursive functions coincide. (This os theorem 2.2 in the text.)
Do all the problems in Cutland chapter 3 EXCEPT for the last set at the end of the chapter. OMIT also the second problem of the second set, i.e 6.3, problem 2.
The appendix to chapter 5 gives a detailed proof of the computability of the universal function psi_U^(n). Go through the proof and be prepared to present parts of it at the blackboard in class.
The course is based on Cutland's text. Example classes are given, and work done in those sessions makes up for 1/3 of the final grade. The other 2/3 of the grade is based on your in class presentation.
The example classes meet Tuesdays 12:15 - 14:00 in Exactum, C322.
To get a grade for the example class portion of the class you must hand in 75% of the homeworks, either in class or send a scanned copy to Otto.email@example.com