Note

All content here was written for my own revision and reference, and is heavily based on the content from the courses I have taken in university. They are neither complete nor endorsed by the original lecturers.

Rather than be complete write-ups, these are designed to be overview of key content for quick lookup/reference, to be used alongside the original course notes.

Preliminary Examinations

Incomplete summaries yet to be transferred may be found here.

• Michaelmas
  • Functional Programming
  • Linear Algebra
  • Discrete Mathematics
  • Probability
• Hilary
  • Continuous Mathematics
  • Digital Systems Part 1 (Condensed)
  • Design and Analysis of Algorithms
  • Imperative Programming Parts 1/2
• Trinity
  • Introduction to Formal Proof
  • Imperative Programming Part 2
  • Digital Systems Part 3 (Condensed)

Part A

• Michaelmas
  • Compilers
  • Models of Computation
  • Computer Security
  • Machine Learning
• Hilary
  • Algorithms and Data Structures
  • Concurrent Programming
  • Computational Complexity
  • Lambda Calculus
• Trinity
  • Concurrency
  • Logic and Proof
  • Computer Networks