Home / COMP2870
COMP2870
Theoretical Foundations of Computer Science II
Graph algorithms weeks 1–3
Based on the 2026/27 lecture notes by K. Vušković.
Primer
Lecture 1 · Terminology · Lemmas 2.1–2.2 · Prim & Kruskal · Dijkstra & Floyd–Warshall · Ford–Fulkerson · Matchings · Self-test
Maths refresher
Sets · Set-builder · Logic · Quantifiers · Proof methods · Big-O
Notation worksheet
Translate, compute, and write proof sentences. Most of it checks itself.
Later topics will show up here.