Prerequisites: Basic knowledge of Predicate Logic as as for example taught at the end of
the course
MATH20302.
The precise reference is: Sections 9-13 in
MATH20302.pdf
Timetable:
Monday 10-11 in Alan Turing G.209.
Tuesday 10-11 in Alan Turing G.205.
Tuesday 11-12 in Alan Turing G.209. This will be the tutorial in most weeks.
|
Lecture Notes |
Example Sheets |
Week 1:
Sep 24-28 |
Section 1.1 |
Examples 1
Solutions will be posted after the tutorial in week 2 |
There will be two in-class tests (each weighting 10% in the unit).
They will take place during the tutorial hours in weeks 5 and 10.
Past exam papers can be found
here.
Textbooks: Self contained notes will be provided. A variety of other sources is listed here.
-
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
Site maintained by
Marcus Tressl. Last modified: Monday, 24th September 2018.