Discrete Mathematics I 2008–09
Principal lecturer: Dr Peter Sewell Taken by: Part IA CST, Part IA NST, Part I PPS Syllabus
This is a new course in 2008, so the previous Discrete Maths I
exam questions are mostly not relevant. Please see the exercises instead.
The notes for online reading (in colour, pdf).
The notes as printed (largely monochrome, pdf).
There are exercise sheets at the end of the notes.
The slides (included in the notes).
Errata:
 In Question 13 of Exercise Sheet 1, delete the second negation
symbol.
 In Question 2(b) of Exercise Sheet 2, z also ranges over people in California.
 In Question 3(f) of Exercise Sheet 2, add a closing parenthesis at
the end.
 In Question 1(c) of Exercise Sheet 3, the second Q should be R.
 In Question 4 of Exercise Sheet 3, insert x after the first exists
symbol and parentheses around the forall x.P(x) on the right hand side.
 In Question 11(c) of Exercise Sheet 4, the question mark should be
an exists symbol.
 In Question 12 of Exercise Sheet 4, replace "directed graph" by
"directed acyclic graph".
 In Question 3 of Exercise Sheet 5, replace 180 by 180*(n2).
