Some students have asked for guidance on which textbook questions are relevant for this course.
As a general guideline, the Course Outline specifies the textbook sections that are examinable and relevant to each topic:
https://webcms3.cse.unsw.edu.au/COMP9020/26T2/outline
Accordingly, questions from the textbook sections listed in the Course Outline are an excellent source of additional practice. Working through a variety of these questions will help reinforce the concepts covered in lectures and tutorials and provide useful preparation for the problem sets and examinations.
Greetings all,
We are hitting the halfway mark this week. Problem set 4 (PS4) has just been released here on webCMS. Good news, due to next week being flex week you will have an extra week to submit this assessment (due Monday July 13, 17:00).
Best of luck!
E
Good morning 9020ers,
The teaching staff are just finalising PS3 for release today, it will come out sometime before 5pm this afternoon. It is due next Monday (29/6) at 5pm.
Reminder that your second problem set (PS2) is due today (22/6) at 5pm, and your results and feedback for PS1 will be released at the same time - accessible via Moodle.
Finally, this term we thought it might be helpful if you had one central resouce of proof rules, equivalences and abbreviations - they all come from Epp 2020 and are featured in the lecture slides, but it is nice to have them all in one place - here: (https://webcms3.cse.unsw.edu.au/COMP9020/26T2/resources/123626). Please don't worry for PS2 if you used different names or abbreviations, but moving forwards with other problem sets it is best if you stick to these (there are a lot of names for these floating about it is useful to all be speaking the same language, so to speak). Feel free to print these out and bring them to the exam!
Best,
Edward