Hi 9020 Students,
We have booked in a HELP session for week 11 (next week) on Wednesday 1pm-3pm in K17 G05.
We thought it might be useful to some of you who wish to clarify points which emerge during your exam preparation, or for anyone who wants further practice on the topics covered towards the end of the course. We will have two tutors there, with a third available if there is a big student turn-out.
Wishing you all the best for the exam, thanks for a great term!
COMP9020 Teaching Staff
Dear COMP 9020 students,
This is a general notice to make sure you are exam ready!
Good Morning Students,
Final week! We have uploaded two practice exams for you to attempt prior to your final exam. They are located towards the top of the sidebar menu here on webCMS:
---
Final Exam Info - https://webcms3.cse.unsw.edu.au/COMP9020/26T2/resources/121606
Practice Exam 1 - https://webcms3.cse.unsw.edu.au/COMP9020/26T2/resources/121647
Practice Exam 2 - https://webcms3.cse.unsw.edu.au/COMP9020/26T2/resources/124297
---
Please familiarise yourselves and attempt these, consider the advice given above the links - practicing these under exam conditions is really important.
Good luck!! Please reach out to myself (edward.norman@unsw.edu.au) or your tutor if you have any queries or concerns,
All best and thankyou for the term :)
COMP9020
P.s. we will release PS8 this afternoon - it will be due next Monday (10/8) at 5pm.
Hello students,
We have an update to a definition in the W8L1 slides. This was discussed in the lectures, but am making this announcement for those who might be unaware.
---
As mentioned in today's lecture, the slides defined irreflexivity as
∀x (x ∈ A ∧ ¬xRx)
This is wrong. It should be
∀x ∈ A, ¬xRx
equivalently ∀x (x ∈ A → ¬xRx), or ¬∃x (x ∈ A ∧ xRx).
When you restrict a quantifier to a set, the connective follows the quantifier:
∃x ∈ A, P(x) unpacks to ∃x (x ∈ A ∧ P(x))
∀x ∈ A, P(x) unpacks to ∀x (x ∈ A → P(x))
With ∧, the ∀ version also asserts that every object belongs to A. The
neighbouring "not reflexive" line, ∃x (x ∈ A ∧ ¬xRx), is correct because it is
existential.
The meaning of irreflexive is unchanged: no element of A is related to itself.
---
Please ensure that your copy of the W8L1 lecture slides are the most recent version (correct as of 22/7/26)
Best,
Edward
Good afternoon COMP9020,
Your sixth problem set has just been posted here on webcms.
Best of luck,
Edward
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
Good afternoon everyone,
I've just posted the second problem set (PS2) here on webCMS: https://webcms3.cse.unsw.edu.au/COMP9020/26T2/resources/121597
It (PS2) is due next Monday at 5pm, and for those of you who have not submitted the first problem set (PS1) - quick sticks! - it is due in by 5pm today.
Hope you are all faring well with the content this term,
Edward
Good morning everyone,
Your first problem set was due for release here on WebCMS today at 5pm, but as I was preparing the resource I realised that webCMS is currently experiencing technical issues and this is not possible. I have instead uploaded it on moodle (https://moodle.telt.unsw.edu.au/course/view.php?id=99571) >>>(https://moodle.telt.unsw.edu.au/pluginfile.php/15118487/mod_resource/content/1/COMP9020_26T2_PS1.pdf) and it is available from now, rather than at 5pm - to accommodate for any confusion. This first problem set is due for submission next Monday (15/6) on Moodle, through the turnitin portal on the main page (Problem Set 1). Please raise any problem set queries you have with your tutor in the first instance, or at the lecture, or to me via email (edward.norman@unsw.edu.au).
Hopefully this is resolved soon! (otherwise I will need to upload all of the lecture slides in this manner as well T_T)
Best,
Edward
Hi everyone! Welcome to COMP9020 at UNSW!
For all course information, please see the Course Outline on the course page (called "webcms") here:
https://webcms3.cse.unsw.edu.au/COMP9020/26T2/outline
The webcms course page is where you find the lecture slides and Problem Set Questions and so on. We shall put each week's slides up the week before. You will find them on the left hand menu under Course Work>Lectures : )
We will also use Moodle, which you can find here:
https://moodle.telt.unsw.edu.au/course/view.php?id=99571
The Moodle page is for the lecture recordings as well as the submission of your problem sets. I shall explain everything you need to know about the problem sets and more in the lectures, but all dates and so on can be found in the course outline on the webcms course page via the link above.
We also have a course forum, the Discourse Forum -->
https://discourse01.cse.unsw.edu.au/26T2/COMP9020/
I am looking forward to meeting all of you at the first lecture on Monday.
All the best,
Haris Aziz