Homework should be handed in at the start of the lecture on the given day; work handed in late but before the solutions are published will receive half credit.
Questions are taken from the text book unless otherwise stated.
| # | Questions A | Questions B | Points | Due | Solutions |
| 1 | 1.15, 1.27, 1.28, 1.30, 1.32, 1.41, 1.42 | - | 20 | Friday 20th May | link |
| 2 | 1.4, 2.4, 2.21, 2.30, 2.31, 2.48, 2.51 | 1.22, 1.25, 1.35, 1.50*, 2.16, 2.39, 2.40, this | 50 | Tuesday 24th May | link |
| 3 | 3.23, 3.27, 3.44, 3.49, 3.58, 4.10, 4.12 | 3.31, 3.38, 3.39, 3.59*, 3.65, these | 50 | Tuesday 31st May | link |
| 4 | 4.5, 4.11, 4.23*, 4.29, 4.37, 4.47 | - | 20 | Friday 3rd June | link |
| 5 | 4.20, 4.21, 4.24, 4.39, 5.3, 5.6, 5.17 | 4.15, 4.34, 4.50, 4.51, these | 50 | Tuesday 7th June | link |
| 6 | 5.13, 5.21, 5.26, 5.33, 10.8, 10.10, 10.24 | 5.37, 5.46, 5.57, 5.64, 10.19, 10.23, 10.37 | 50 | Tuesday 14th June | link |
| 7 | 1.8 (sic), 9.4, 9.10, 9.18, 9.23, 9.34, this | - | 20 | Friday 17th June | link |
| 8 | 6.2, 6.8, 6.9(a&b)*, 6.23, 6.40, 7.11, 7.15 | 9.11, 9.22, 6.29, 6.45, 6.53, these | 50 | Tuesday 21st June | link |
Solutions to mid-terms: exam 1, exam 2.
You can veiw grades so far on blackboard
Type A questions may be easier, and are designed to help you understand the material. Type B questions are more challenging and provide practice in constructing proofs. You are welcome to ask for help in office hours for type A questions, but not type B; if any clarification is needed please email the lecturer, other than that you are on your own!
This course helps you to develop the ability to think at length about difficult problems, and homework is your primary source of practice; it is very important to start early and make repeated attempts at questions you find challenging. You are encouraged to work together on homework, but you should not make any permanent record of the discussion, and should then go home and write up your own solutions from memory. (So whiteboards are fine, but taking written notes or discussion over IM is not.) You must state on each homework everyone you have discussed the problems with; this will have no effect on your marks. Failure to record collaborators or copying from a record of a discussion will be considered cheating. And make sure that you are an active collaborator in discussions as anything less will be of little value to you.
| 1.1 Introduction to Proof: Quiz |
| 1.5 Logic: Quiz |