The second assignment is now available. It is due at
12:00 noon, Tuesday 21 July
Quiz 4 is now available. It is due at
4pm on Monday June 29
I have posted the Challenge question for this week. It consists of a series of (tricky) proof exercises and is set up in the recently posted Proof Assistant tool - though you do not have to use the system to attempt the challenge. For this challenge there is no option to submit (yet) - this may change if I get a chance to update the Proof Assistant to handle feedback.
I have also posted the first of several sets of Practice Questions, and their solutions. These questions are intended to give you an indication of the knowledge/ability I expect you to have at the conclusion of the course (i.e. they are roughly the level of difficulty of exam questions). Completion of these questions is completely optional. Please make use of them to identify any potential weak areas you may have, and feel free to ask about any concepts/solutions that you don't understand.