Predicate Calculus (MATH33001/43001/63001)

Course description: click here

The next informal questions-hour is Friday, January 16, 11-12 in my office (ATB2.118)

Notes:	Revision of propositional logic
	Lecture Notes (11. January 2009)
	Example Sheets (23. December 2008). Solutions of the more complicated exercises are contained in the lecture notes.
	Take home test, with solutions. Note that the take home test has 20% weight in the assessment of the course.

Exam:	Past exam papers can be found here.
	The formal layout of the exam is very similar to the past exams. However, the exam differs to some extent from the past exams in notation and content.

Enderton, Herbert B; A mathematical introduction to logic. Second edition. Harcourt/Academic Press, Burlington, MA, 2001. xii+317 pp. ISBN: 0-12-238452-0
Cori, René, Lascar, Daniel; Mathematical logic. A course with exercises. Part I. Propositional calculus, Boolean algebras, predicate calculus. Translated from the 1993 French original by Donald H. Pelletier. With a foreword to the original French edition by Jean-Louis Krivine and a foreword to the English edition by Wilfrid Hodges. Oxford University Press, Oxford, 2000. xx+338 pp. ISBN: 0-19-850049-1; 0-19-850048-3
Hamilton, A. G. Logic for mathematicians. Second edition. Cambridge University Press, Cambridge, 1988. viii+228 pp. ISBN: 0-521-36865-0 03-01
Goldrei, Derek; Propositional and Predicate Calculus: A Model of Argument. Springer 2005, VIII, 315 p., ISBN: 978-1-85233-921-0

Site maintained by Marcus Tressl. Last modified: Tuesday 04. August 2009.