CS130 Revision Lecture

17:00 - 19:00 1st May 2026

MS.01

We're hosting a revision lecture for CS130 Sets and Proofs. Come and refresh your memories of logic, predicates, relations, induction, and a bunch of other set and/or proof-related topics ahead of the exam next Wednesday!