Course pages 2012–13

# Discrete Mathematics I

**Lecture notes:** [pdf].

**Exercises:** [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.)