MSc in Mathematical Logic and the Theory of Computation
- Admission officer
- Dr. George Wilmers
- George.Wilmers [at] manchester.ac.uk
- +44(0)161 27 55878
Historically mathematical logic arose from a consideration of philosophical questions arising from the foundations of mathematics. More recently however this field has become the branch of mathematics which in broad scope is closest to providing the mathematical requirements of information technology. Wherever fundamental problems present themselves, be it in computational linguistics, in cryptography, in artificial intelligence, or in program verification, such problems can often only be properly understood by using the concepts and methods of mathematical logic.
Each year, starting in September, the logic group run a one-year taught postgraduate programme leading to the degree of MSc by examination and dissertation. The aim of the programme is to give students a rigorous grounding in some of the main areas of modern mathematical logic, with a particular emphasis on more recent developments which are of potential interest in information technology. The programme is given by the School in collaboration with the School of Computer Science and the School of Languages, Linguistics and Cultures. This collaboration enables us to offer a wide and flexible variety of relevant options, but the overall emphasis within the course is on a mathematical approach.
Lectures take place between September and April with examinations in January and April/May. From April onwards students will start to prepare an MSc dissertation on a special topic to be chosen by each student in consultation with his/her supervisor.
This programme is suitable both as a vocational course for those intending to work in IT, and also as preparation for a PhD programme in mathematical logic.
Diploma
The logic group also offers a shorter 9-month postgraduate diploma programme in Mathematical Logic and the Theory of Computation which is similar to the MSc programme, except that no substantial dissertation is required.