Assignment 1 has been released, and can be found under the Assignments button on the home page. There are 6 exercises, the last 3 of which involve Dafny programming. You should know enough Dafny to do these exercises by the end of week 3.
The submission process will be opened by week 4. The due date can be found on the assignment and the Course Schedule. Remember you can talk to me after the lecture on Fridays, and you can use the forum to ask questions, privately with just Stephen and myself, or shared publicly.
Best of luck.
Week 2 lecture slides have been released, along with two videos and a few more exercises under the 'Practice and Play' section. Solutions for these exercises will be released next week.
You should now be able to answer all questions in quiz 1, which is due
9 p.m. Tuesday week 3 (26 September)
. Remember that late submissions are not accepted, and only your latest submission will be marked.
Week 1 lecture slides have been released. There has been some editing of the Hoare-Logic lecture slides. In the week 2 lecture, I will go over the last Hoare-Logic example (the quotient-remainder division program) again.