Course pages 2014–15
Discrete Mathematics
Lectures 1-17: Proofs, numbers, and sets
- Notes and Workouts
- Supervision exercises
Michaelmas term
Lent term - Q&A forum
- Lecture slides and topics
Michaelmas term
Lecture 1 (Nov 7): proof; implication.
Lecture 2 (Nov 10): contrapositive; modus ponens; bi-implication; divisibility; congruence.
Lecture 3 (Nov 12): divisibility; congruence; universal quantification; equality; conjunction.
Lecture 4 (Nov 14): existential quantification; unique existence; disjunction.
Lecture 5 (Nov 17): disjunction; Fermat's Little Theorem; negation.
Lecture 6 (Nov 19): contrapositive; proof by contradiction; natural numbers.
Lecture 7 (Nov 21)
Lecture 8 (Nov 24)
Lecture 9 (Nov 26)
Lecture 10 (Nov 28)
Lecture 11 (Dec 1)
Lecture 12 (Dec 3)
Lent term
Lecture 13 (Jan 16)
Lecture 14 (Jan 19)
Lecture 15 (Jan 21)
Lecture 16 (Jan 23)
Lecture 17 (Jan 26) - Past exam questions
2014 Paper 2 Question 7 [solution notes] and Question 8 [solution notes]
2013 Paper 2 Question 5 [solution notes]
2012 Paper 1 Question 4 (a) & (b) [solution notes]
2011 Paper 2 Question 5 [solution notes]
2009 Paper 1 Question 3 (c) [solution notes] and Question 4 [solution notes]
2009 Paper 2 Question 6 [solution notes]
2008 Paper 2 Question 3 [solution notes]
2007 Paper 2 Question 3 [solution notes] and Question 5 [solution notes]
2006 Paper 2 Question 3 [solution notes], Question 4 [solution notes], and Question 5 (a) & (b) [solution notes]