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 on-line 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*(n-2).
|