BACK Mascot image.

MA0 1

MA01: Introduction to University Mathematics (Proofs)

Spring 2026 · Mon / Wed Lecture + Fri Recitation

An introduction to mathematical thinking. We work through logic, set theory, functions, and use these to construct the number systems in turn, ending with the real numbers as Dedekind cuts. MA02 rebuilds the reals from Cauchy sequences and goes on to analysis proper.

Contents

taught through 22 Aug 2026

  1. 1 Introduction to Logic
  2. 2 Predicates, Quantifiers, and Proofs
  3. 3 Naive Sets
  4. 4 Functions
  5. 5 Natural Numbers
  6. 6 Relations and Order
  7. 7 Infinite Sets
  8. 8 Permutations
  9. 9 Groups
  10. 10 Integers

10 lectures so far. Pages are added after the class they cover, and earlier ones keep growing.

Read as one book →

Further reading