Computer Laboratory

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.)

  • Jape is the closest match to this course. Use the theory jape-examples/natural_deduction/I2L.jt. Note that what we call F-elim is called contra (constructive) in Jape.
  • Pandora. Warning: Pandora gives you some extra rules which we do not consider as basic rules for structured proof (e.g. EM).