uni
part a
nothing here yet.
prelims
michaelmas
Short course introducing sets and functions, as well as standard notation and proof methods.
Short course covering the fundamentals of complex numbers.
Sequences and series.
Vector spaces, linear maps and inner product spaces.
Discrete probability spaces, random variables and distributions.
Haskell — generalised recursion, higher-order functions and equational reasoning.
hilary
Functions, continuity and differentiability + consequences
Determinants, eigenvalues, diagonalisation and the spectral theorem.
Groups and group actions — four weeks in hilary, four in trinity.
Multivariable calculus + numerical methods.
Programming with state and invariants. Introduces OOP.
Dynamic programming, graphs, data structures and analysing complexity.
trinity
A rigorous treatment of integration.
Proofs as objects you can manipulate — various proof systems and theory.