Workshop on Reasoning about Programs SENG2011 25T3

Assignment 2 released

Posted by Albert Nymeyer Sunday 02 November 2025, 06:14:52 PM, last modified Sunday 02 November 2025, 06:22:06 PM.

Assignment 2 has been released and can be found on the home page. It consists of an exercise on arrays, another on sequences and two on lemmas. The plan is to introduce lemmas in the week 8 lecture and focus on them in weeks 9 and 10. Good luck with the assignment and use the forum if you have any questions.

More Exercises Released

Posted by Stephen Chuang Sunday 26 October 2025, 09:41:46 PM.

Some new exercises have been released under Practice and Play. From now until week 10, a few exercises will be released every week. The Practice and Play exercises are not worth marks but are great practice for assignment 2 and the final exam.

As always, you are welcome to make a private post on the forum if you need help with the practice exercises.

Week 5 Notice: Assignment 1 Due

Posted by Stephen Chuang Friday 17 October 2025, 04:09:10 PM.

Assignment 1 is due at 9 p.m. this Sunday (19 October) unless you have an approved extension.

The course forum is available if you need help on the assignment.

Another exercise (index of the first 'e' in an array) has been opened up under Practice and Play and solutions for the factorial invariant exercise have been released.