Workshop on Reasoning about Programs SENG2011 24T3

Lecture Recordings Fixed

Posted by Stephen Chuang Saturday 14 September 2024, 02:14:31 PM.

Lecture recordings have been fixed. Contact the course account if you still have issues with accessing them.

Quiz 1 covers content from both weeks 1 and 2, so no extension will be given.

Welcome to SENG2011!

Posted by Stephen Chuang Saturday 07 September 2024, 10:11:50 PM.

Welcome to SENG2011! I'm Stephen and I will be your course admin for this offering of the course. Albert Nymeyer will be your lecturer/course convenor, and Samuel Zheng will also be helping out with delivering the course this year.

This course's resources include:

• WebCMS3 - the main course website and the main source of information. You can find the course outline, course announcements, lecture slides, practice exercises, quizzes, assignments, and exam information here.
• Moodle has lecture recordings, but attending lectures in person is highly recommended.
• The Ed Forum, which should be your first point of contact for any questions about the course. It is accessible through the link in the sidebar. I encourage you all to be actively asking and answering questions – explaining concepts to others is a great way to learn. Course announcements will not typically be posted on the forum.

The Ed Forum also allows private posts, which is especially important for assignment-related questions where you share parts of your approach or solution. The invite link is https://edstem.org/au/join/CDaRh8 .

For some queries, it may be more appropriate to talk directly to course staff by emailing the class account se2011@cse.unsw.edu.au rather than posting on the forum. Contacting course staff through personal email addresses is discouraged.

Make sure you have read both course outline on ECOS and the Course Outline Appendix so that you are familiar with the prerequisite knowledge that is expected of you, the course schedule, and assessment details.

Enjoy the rest of your break.

Stephen