Skip to main content
Mathematical Institute
  • Home
  • Help
  • More
Log in with SSO
Mathematical Institute
Home Help
  1. Courses
  2. Archive
  3. Year 2025-26
  4. Graduate
  5. MSc in Mathematics and Foundations of Computer Science (MFoCS)
  6. Michaelmas

Michaelmas

Expand all

Induction

Algebraic Geometry (2025-26)
Algebraic Topology (2025-26)
Analytic Number Theory (2025-26)
Axiomatic Set Theory (2025-26)
Categories, Proofs and Processes (2025-26)
Category Theory (2025-26)
Combinatorics (2025-26)
Computer Aided Formal Verification (2025-26)
Distributed Processes, Types and Programming (2025-26)
Elliptic Curves (2025-26)
Graph Theory (2025-26)
Homological Algebra (2025-26)
Infinite Groups (2025-26)
Information Theory (2025-26)
Integer Programming (2025-26)
Model Theory (2025-26)
Topology and Groups (2025-26)
Contact site support
You are not logged in. (Log in with SSO)
Get the mobile app
Powered by Moodle