Abstract: For more than 10 years, an informal course of lectures and seminars in Computation Theory has been offered to first-year Ph.D. and M.Phil. students. This course is designed to give these students a suitable grounding for research in this area as well as a survey of current research topics. The course is divided into three broad sections: Complexity, Programming Methodology and Semantics.
Every year in May there is an informal three-day open-book examination on the material taught in the course. This report contains all of the questions which have appeared on these examinations since the course began, organized more or less by topics.Previous | Index | Next