Foundations of Computer Science COMP9020 26T2

Exam Ready

Posted by Haris Aziz Monday 03 August 2026, 10:15:13 AM.

Dear COMP 9020 students,

This is a general notice to make sure you are exam ready!

• You need a physical ID card to sit your final exams on campus. Electronic IDs will not be accepted. Your UNSW student ID card, driver's licence or passport will be scanned at the exam venue as part of a new attendance checking process.
  • If you are unable to provide a physical ID card, you may not be able to sit your final exam. You can go to the Student Hub and get a new or replacement student ID card. New ID cards and replacements for expired cards are free; the cost of a replacement student card is $25. The Student Hub is NOT open on Saturdays.
• Ensure you know when and where your exam is:
  Understanding your exam timetable PDF .
• Check your Timetable on myUNSW carefully for the date, start time and location , along with information about what you can bring into the exam. Invigilated in-person exams will ONLY start at either 9.45am, 1.45pm or 5.45pm.
• Arrive at your exam location at least 30 minutes before your exam start time. You cannot enter an exam after 30 minutes of exam time (not including the 15 minutes reading time), that is after 10.30am for a morning session, after 2.30pm for an afternoon session and after 6.30pm for an evening session.

Practice Examinations

Posted by Edward Norman Monday 03 August 2026, 09:31:38 AM.

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.

Lecture Slide Update - Week 8 Lecture 1

Posted by Edward Norman Thursday 23 July 2026, 10:35:55 AM.

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