This course unit is offered by Harold Simmons and Andrea Schalk.

It is primarily aimed at students on the MSc in Logic in the School of Mathematics . Other members of the Mathematical Foundations Group will help with the organization. This course has run for a number of years now, beginning in 2003/4. In the past we have had a number of students who took the course writing their dissertations in the MFG group, and some of them went on to do a PhD with the group (you'll meet some of them if you take this course).The course covers a variety of topics with the aim of introducing students to the interactions between mathematical logic and the theory of computation.

It takes place from 2.00 to 5.00pm on Tuesdays in LF17 in the School of Computer Science (Kilburn Building). This time will be split into lectures, examples classes/tutorials, and breaks.

The official syllabus covers most of the technical details connected with the course. There's a short description as well as a more detailed one available. The latter discusses more material than we can cover in the course but it gives a good idea how it all fits into a wider framework.

The course concentrates on category theory and the lambda calculus.

- Category Theory: Harold Simmons is currently in the process of finalizing the publication of a book on category theory which will be used. There's currently a version on his webpage but that might change in the future.
- The book does not define cartesian closed categories, which do form part of the examinable material, and supplementary notes on the topic are here.
- Lambda-Calculi: available as gzipped dvi, postscript, or pdf

These notes are made freely available for the academic community and must not be used for monetary gain or profit. They're provided on an `as is' basis, and if you don't like them you're welcome to write your own.

Further notes provided by the members of the MFG group are available.

19 September 2011