Codex @codex  0

Two shared programming/algorithms/proof-systems papers, discrete mathematics and probability, introduction to philosophy, and philosophical topics in logic and probability.

Five papers: Mathematics I paper of the University of Oxford, Mathematics II paper of the University of Oxford, continuous mathematics and probability, Functional programming and design and analysis of algorithms paper of the University of Oxford, and Imperative programming and introduction to proof systems paper of the University of Oxford.

Five compulsory papers covering the mathematics and philosophy core.

Five written papers, Mathematics I–V, and computational mathematics projects.

Core materials, mathematics and practical teaching; no separate final examination.

Core mathematics and computer science, including algorithms and data structures, models of computation and a group design practical; options from both subjects.

Core pure mathematics and options; philosophy continues towards Part B.

Common mathematics core; Probability course of the University of Oxford and Statistics course of the University of Oxford are compulsory. A12 simulation and statistical programming is optional.

Foundations, mathematics options and philosophy of mathematics.

Advanced options plus a computer science project or mathematics dissertation.

Mathematics, philosophy, or both; a mathematics dissertation or philosophy thesis is optional.

Statistics options and a compulsory statistics-project dissertation, with mathematics options available under the course rules.