# Exam papers

From Spivey's Corner

Papers that are not current and are not related to a current paper appear only on a linked archive page. Only the last five years appear here, but all papers back to 2007 appear on the archive page.

### Prelims

Functional Programming and Design & Analysis of Algorithms | 2016 | 2015 | 2014 | 2013 | 2012 |

Imperative Programming | 2016 | 2015 | 2014 | 2013 | 2012 |

Digital Systems, Linear Algebra and Introduction to Formal Proof | 2016 | 2015 | 2014 | 2013 | |

Digital Systems and Logic & Proof | 2012 | ||||

Discrete Mathematics, Continuous Mathematics and Probability* | 2016 | 2015 | 2014 | 2013 | |

Discrete Mathematics and Linear Algebra | 2012 | ||||

Mathematics for Computer Science | 2012 |

* Candidates in Mathematics and Computer Science take a shorter paper on *Continuous Mathematics and Probability*; candidates in Computer Science and Philosophy take a shorter paper on *Discrete Mathematics and Probability*. In each case, the questions set were the same as those on the full paper.

### Part A core

Concurrent Programming (was Schedule A) | 2016 | 2015 | 2014 | 2013 | 2012 |

Models of Computation | 2016 | 2015 | 2014 | 2013 | 2012 |

Object-Oriented Programming | 2016 | 2015 | 2014 | ||

Logic & Proof | 2016 | 2015 | 2014 | 2013 | 2012 |

### Schedule A

Advanced Data Structures and Algorithms | 2016 | 2015 | 2014 | 2013 | 2012 |

Computer Architecture | 2016 | 2015 | 2014 | 2013 | 2012 |

Computer Graphics | 2016 | 2015 | 2014 | 2013 | 2012 |

Compilers | 2016 | 2015 | 2014 | 2013 | 2012 |

Databases (was Schedule B) | 2016 | 2015 | 2014 | 2013 | 2012 |

Concurrency (was Part A core) | 2016 | 2015 | 2014 | 2013 | 2012 |

Computer Networks | 2016 | 2015 | 2014 | 2013 | 2012 |

### Schedules B and C

Computational Complexity | 2016 | 2015 | 2014 | 2013 | 2012 |

Computer-Aided Formal Verification | 2016 | 2015 | 2014 | 2013 | 2012 |

Computer Security | 2016 | 2015 | 2014 | 2013 | 2012 |

Geometric Modelling | 2016 | 2015 | 2013 | 2012 | |

Intelligent Systems | 2016 | 2015 | 2014 | 2013 | 2012 |

Knowledge Representation and Reasoning | 2016 | 2015 | 2014 | 2013 | 2012 |

Lambda Calculus & Types | 2016 | 2015 | 2014 | 2013 | 2012 |

Computational Learning Theory | 2016 | 2015 | |||

Machine Learning | 2014 | 2013 | 2012 | ||

Principles of Programming Languages (was Schedule A) | 2016 | 2015 | 2014 | 2013 | 2012 |

Probability & Computing | 2016 | 2015 |