Exam papers/archive

From Spivey's Corner
Jump to: navigation, search

All subjects appear here, even if they are not current, with papers back to 2007.

Prelims

Functional Programming and Design & Analysis of Algorithms 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007
Imperative Programming 2016 2015 2014 2013 2012 2011 2010 2009 2008
Digital Systems, Linear Algebra and Introduction to Formal Proof 2016 2015 2014 2013
Digital Systems and Logic & Proof 2012 2011
Digital Hardware and Logic & Proof 2010 2009 2008
Procedural Programming and Digital Hardware 2007
Discrete Mathematics, Continuous Mathematics and Probability 2016 2015 2014 2013
Discrete Mathematics and Linear Algebra 2012 2011 2010 2009 2008
Discrete Mathematics, Logic & Proof and Models of Computation 2007
Mathematics for Computer Science 2012 2011 2010 2009 2008 2007


Part A core

Concurrent Programming (was Schedule A) 2016 2015 2014 2013 2012 2011 2010 2009
Models of Computation 2016 2015 2014 2013 2012 2011 2010 2009
Object-Oriented Programming 2016 2015 2014 2010 2009 2008 2007
Logic & Proof 2016 2015 2014 2013 2012 2011 2010 2009

Schedule A

Advanced Data Structures and Algorithms 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007
Computer Architecture 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007
Computer Graphics 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007
Compilers 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007
Databases (was Schedule B) 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007
Concurrency (was Part A core) 2016 2015 2014 2013 2012 2011 2010 2009
Computer Networks 2016 2015 2014 2013 2012 2011
Networks and Operating Systems 2010 2009
Concurrency, Networks and Operating Systems 2008 2007
Formal Program Design 2012 2011 2010 2009
Formal Program Design 1 2008 2007
Formal Program Design 2 2008 2007
Numerical Analysis 2009 2008 2007

Schedules B and C

Computational Complexity 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007
Computer-Aided Formal Verification 2016 2015 2014 2013 2012 2011
Computer Security 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007
Geometric Modelling 2016 2015 2013 2012 2011 2010
Intelligent Systems 2016 2015 2014 2013 2012 2011
Intelligent Systems 1 2010 2009 2008 2007
Knowledge Representation and Reasoning 2016 2015 2014 2013 2012 2011
Intelligent Systems 2 2010 2009 2008 2007
Lambda Calculus & Types 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007
Computational Learning Theory 2016 2015
Machine Learning 2014 2013 2012 2011 2009 2008
Principles of Programming Languages (was Schedule A) 2016 2015 2014 2013 2012 2010 2009 2008 2007
Probability & Computing 2016 2015
Reasoning About Muddy Children 2012 2011
Logic of Multi-Agent Information Flow 2010 2009 2007
Integer Programming 2009 2008 2007
Numerical Solution of Differential Equations 1 2009 2008 2007
Numerical Solution of Differential Equations 2 2009 2008 2007
Object-Oriented Design 2008 2007
Automata, Logic and Games 2007
Personal tools

Variants
Actions
Navigation
Tools