Exam papers
From Spivey's Corner
The same papers appear on a page for tutors with answers and links to discussion pages.
Papers that have not been set in the past couple of years and are not related to a more recent paper appear only on a linked archive page.
Moderations
| Functional Programming and Design & Analysis of Algorithms | 2011 | 2010 | 2009 | 2008 | 2007 |
| Imperative Programming | 2011 | 2010 | 2009 | 2008 | |
| Digital Systems and Logic & Proof | 2011 | ||||
| Digital Hardware and Logic & Proof | 2010 | 2009 | 2008 | ||
| Procedural Programming and Digital Hardware | 2007 | ||||
| Discrete Mathematics and Linear Algebra | 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 | 2011 | 2010 | 2009 | ||
| Concurrency, Networks and Operating Systems | 2008 | 2007 | |||
| Models of Computation | 2011 | 2010 | 2009 | ||
| Object-Oriented Programming | 2011 | 2010 | 2009 | 2008 | 2007 |
| Logic & Proof (for M&CS) | 2011 | 2010 | 2009 |
Schedule A
| Advanced Data Structures and Algorithms | 2011 | 2010 | 2009 | 2008 | 2007 |
| Computer Architecture | 2011 | 2010 | 2009 | 2008 | 2007 |
| Computer Graphics | 2011 | 2010 | 2009 | 2008 | 2007 |
| Compilers | 2011 | 2010 | 2009 | 2008 | 2007 |
| Concurrent Programming | 2011 | 2010 | 2009 | ||
| Databases (was Schedule B) | 2011 | 2010 | 2009 | 2008 | 2007 |
| Formal Program Design | 2011 | 2010 | 2009 | ||
| Formal Program Design 1 | 2008 | 2007 | |||
| Formal Program Design 2 | 2008 | 2007 | |||
| Computer Networks | 2011 | ||||
| Networks and Operating Systems | 2010 | 2009 |
Schedules B and C
| Computational Complexity | 2011 | 2010 | 2009 | 2008 | 2007 |
| Computer-Aided Formal Verification | 2011 | ||||
| Computer Security | 2011 | 2010 | 2009 | 2008 | 2007 |
| Geometric Modelling | 2011 | 2010 | |||
| Intelligent Systems | 2011 | ||||
| Intelligent Systems 1 | 2010 | 2009 | 2008 | 2007 | |
| Knowledge Representation and Reasoning | 2011 | ||||
| Intelligent Systems 2 | 2010 | 2009 | 2008 | 2007 | |
| Lambda Calculus & Types | 2011 | 2010 | 2009 | 2008 | 2007 |
| Machine Learning | 2011 | 2009 | 2008 | ||
| Principles of Programming Languages (was Schedule A) | 2010 | 2009 | 2008 | 2007 | |
| Reasoning About Information Update | 2011 | ||||
| Logic of Multi-Agent Information Flow | 2010 | 2009 | 2007 |
