Exam papers

The same papers appear on a page for tutors with answers and links to discussion pages.

Papers that are not current and are not related to a current paper appear only on a linked archive page.

Moderations

Functional Programming and Design & Analysis of Algorithms	2012	2011	2010	2009	2008	2007
Imperative Programming	2012	2011	2010	2009	2008
Digital Systems and Logic & Proof	2012	2011
Digital Hardware and Logic & Proof			2010	2009	2008
Procedural Programming and Digital Hardware						2007
Discrete Mathematics and Linear Algebra	2012	2011	2010	2009	2008
Discrete Mathematics, Logic & Proof and Models of Computation						2007
Mathematics for Computer Science		2011	2010	2009	2008	2007

Part A core

Concurrency	2012	2011	2010	2009
Concurrency, Networks and Operating Systems					2008	2007
Models of Computation	2012	2011	2010	2009
Logic & Proof (for M&CS)	2012	2011	2010	2009

Schedule A

Advanced Data Structures and Algorithms	2012	2011	2010	2009	2008	2007
Computer Architecture	2012	2011	2010	2009	2008	2007
Computer Graphics	2012	2011	2010	2009	2008	2007
Compilers	2012	2011	2010	2009	2008	2007
Concurrent Programming	2012	2011	2010	2009
Databases (was Schedule B)	2012	2011	2010	2009	2008	2007
Formal Program Design	2012	2011	2010	2009
Computer Networks	2012	2011
Networks and Operating Systems			2010	2009

Schedules B and C

Computational Complexity	2012	2011	2010	2009	2008	2007
Computer-Aided Formal Verification	2012	2011
Computer Security	2012	2011	2010	2009	2008	2007
Geometric Modelling	2012	2011	2010
Intelligent Systems	2012	2011
Intelligent Systems 1			2010	2009	2008	2007
Knowledge Representation and Reasoning	2012	2011
Intelligent Systems 2			2010	2009	2008	2007
Lambda Calculus & Types	2012	2011	2010	2009	2008	2007
Machine Learning	2012	2011		2009	2008
Principles of Programming Languages (was Schedule A)	2012		2010	2009	2008	2007
Reasoning About Muddy Children	2012	2011