Lecturers:
Samuel Dean and Marcus Tressl
This course is a 20 credits level 3 course and has a space on
BlackBoard.
The University page of this course may be found
here but that page is often not up to date.
The course has two continuations at level 4: Model Theory and Set Theory.
It will also be useful for the course Computation and Complexity.
Prerequisites and a Course Outline may be found here.
Talk on Mathematical Logic.
Here is a one hour talk around mathematical logic
intended for second year mathematics students in the
Manchester Mathematics Society. The talk is not literally an outline of the course, but should give you
an impression of what we are after.
Timetable and rooms. Please check your personal timetable for confirmation (this might need VPN).
Tuesday 14.00-15.00: Lecture in Kilburn_TH 1.3
Tuesday 15.00-16.00: Tutorial in Engineering B_2B.026 M&T
Thursday 9.00-10.00: Lecture in Kilburn_TH 1.4
Friday 11.00-12.00: Lecture in Kilburn_TH 1.5
Friday 16.00-17.00: Tutorial in Alan Turing_G.209
Delivery. The course will be taught in classical form, i.e. through in person lectures (3 per week) as well as two tutorials per week.
All lectures will be podcasted.
Excerpt of lecture notes and example sheets. Notes for the first week and
accompanying example sheet.
You will have to work through a comparable amount of material each week.
Learning plan and study material can be accessed on the
BlackBoard platform.
Warmup questions for the start of the course together with some general advice on what is expected from students on this module
may be found here.
Textbooks: Self contained notes will be provided. A variety of other sources is available online from the library (We recommend the books of Goldrei and Prestel-Delzell
if you want to get a first impression):
- Goldrei, Derek;
Propositional and Predicate Calculus: A Model of Argument;
Springer London, 2005. ISBN : 9781846282294
- Alexander Prestel, Charles N. Delzell;
Mathematical Logic and Model Theory;
Springer, London, 2011. ISBN : 9781447121756
-
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
Assessment.
There will be two tests and a final exam as follows:
- In week 5 there will be a test, worth 15% of the module.
- In week 10 there will be a test, worth 15% of the module.
- The final exam will be in January and is worth 70% of the module.
Site maintained by
Marcus Tressl. Last modified: Tuesday, 14th November 2023.