MSc Mathematics for Computing

Mathematics · Live · v0

Path type: Mathematics
Requirements: Open entry
Enrollment: €9.95
Deadline: Next cohort starts 2027-09-06 (AY 2027/28)
Length: ~½ year · 23 phases
Language: English · Español
Content freshness: Curriculum updated 2026-08-22 · content rev 49230767
Cortex Credits (CC): 126 CC
What are Cortex Credits?
Syllabus: View the phase syllabus

Orientation: rigor, proof & the machine-verification workflow

Predicate logic & formal proof

Relations, orders & proof techniques

Sets, cardinality & introduction to computability

Enumerative combinatorics

Recurrences & generating functions

Graph theory I: structure, trees & connectivity

Graph theory II: coloring, planarity & spectral graphs

Vector spaces & linear maps

Inner-product spaces, orthogonality & least squares

Eigenvalues, diagonalization & the spectral theorem

Singular value decomposition & low-rank approximation

Numerical linear algebra & conditioning

Group theory for cryptography

Rings, fields & finite fields

Computational number theory

Probability theory

Markov chains & random processes

Statistical inference

Numerical methods & error analysis

Linear & convex optimization

Information & coding theory

Capstone: a machine-verified mathematical toolkit for computing

Syllabus →
Enrolment prerequisites: A verified account and admissions-committee approval.

Professor: Vacancy available