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.
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.