Course pages 2012–13
Discrete Mathematics I
Lecture notes: [pdf].
Summary of the rules of structured proof: [pdf]. (Warning: this will not be distributed in the exam.)
Software: Here is some software for you to practice building structured proofs. Let me know how you get on. (Warning: this is just for fun — you can't use a computer in the exam.)