COMP9020 Notices

Notices

  • New puzzle game!

    Posted by Paul Hunter Tuesday 17 March 2026, 10:09:43 AM.

    Hi everyone,

    In preparation for this week's content (Graph Theory) I have added a new game to the Puzzle Games section: Abstract

    This game was developed by Priya Leedman as part of her Honours project, with the overall goal of helping introduce some of the concepts of this topic in a fun & engaging manner. In the coming weeks, she'll be looking for feedback on the game - so it would be really great if you could give it a play (and while you're at it, why not have a look at some of the other Puzzle Games we have, especially now that we have covered some of the relevant topics...)

    I think the game is really beautiful - a lot of the artwork was done by Priya herself - and gets surprisingly challenging when you get to some of the later levels...

    Enjoy!

    Paul

  • Formatif task W4P2

    Posted by Paul Hunter Friday 13 March 2026, 04:16:38 PM.

    Hi all,

    A quick clarification on the current formatif tasks.

    For W4P2 you only need to make a submission for part (a). Parts (b) and (c) are to be discussed and assessed in person in the tutorial . You may prepare for these questions, but you should not make any preliminary submission.

    Paul

  • Equivalence relations recording tonight

    Posted by Paul Hunter Thursday 05 March 2026, 04:32:17 PM.

    Hi all,

    Unfortunately Jiaojiao was not able to get through the lecture content on Equivalence Relations in today's lecture.

    Because this content is needed for the W3 formatif tasks, I will be making an online recording of the content tonight (Thu) at 8:30pm . This recording will be uploaded to Lecture Recordings shortly after it finishes.

    As before, you are welcome to attend and ask questions - I will post a link to the recording closer to the time.

    Paul

  • Proof assistant login issues

    Posted by Paul Hunter Thursday 26 February 2026, 09:48:56 PM, last modified Thursday 26 February 2026, 09:50:54 PM.

    Hi all,

    If you are having trouble logging into the proof assistant, please try this link first:

    https://cgi.cse.unsw.edu.au/~cs9020/cgi-bin/zid_auth?app=demo&data=All%20good

    which should update the credentials in your browser. You should then be able to open the proof assistant.

  • Conclusion of today's lecture

    Posted by Paul Hunter Thursday 26 February 2026, 05:05:20 PM, last modified Thursday 26 February 2026, 07:57:24 PM.

    Hi all,

    I was not able to cover the content about "Proofs using the laws of set operations", including details of the proof assistant in today's lecture.

    I will do an online recording tonight at 8:30pm where I will cover this material. I expect it to take around 1 hour. The recording will be made available on echo360 shortly after.

    You are welcome to attend this recording , I encourage you to come along and ask questions.

    I will post a link to the meeting closer to the time.

    Paul

  • Additional recordings

    Posted by Paul Hunter Friday 20 February 2026, 04:07:06 AM, last modified Friday 20 February 2026, 04:08:08 AM.

    Hi all,

    Because I had to cover a fair bit of material quickly in today's lecture to be sure to cover what was necessary for the formatif tasks, there was some content I glossed over - most notably, more examples of proofs and strategies for proofs. Please be aware that I will continue the lectures next week from about where they finished, so we will revisit the last few definitions that were rushed through. However, the examples of proofs (and proof strategies) is much more useful to you at this stage, so I have made a recording of that content (about an hour) and added it to the Lecture Recordings (under Thu Additional Content (Proofs) ).

    I have also added a video (in the Additional Content folder at the bottom of the Lecture Recordings ) with details on the formatif system and the workflow for the coursework assessments. This content was also covered at the start of today's lecture.

    Please note that while the lecture recordings do have a Q&A option, this is not regularly monitored and you should instead direct your questions to the Course Forum . I have answered the questions that were posted to the Q&A of today's lecture.

    Enjoy!

    Paul

  • Formatif now available

    Posted by Paul Hunter Thursday 19 February 2026, 10:16:32 AM.

    Hi all,

    You should now be able to access formatif here: https://formatif.cse.unsw.edu.au

    Please log in and select your target grade. This can be changed throughout the term as you learn more about your capabilities.

    Please let us know if you still cannot access the system.

    A reminder that the first few tasks are due on Monday February 23 at 6pm . Please note:

    • This is only the first opportunity to submit - you can submit the tasks up to a week after this deadline
    • We will cover the content necessary for the tasks in today's lecture
    • Your first submission should be a reasonable attempt - otherwise your tutor may send it back with no helpful feedback. If you are stuck, then please use the "Needs Help" option - the tutors have been instructed to prioritise these requests.
    • You cannot submit Distinction/HD tasks until Pass/Credit tasks have been marked as "Complete" by your tutor (you can of course, work on them)

    Please post any questions to the Course Forum.

    Paul

  • Welcome to COMP9020!

    Posted by Jiaojiao Jiang Tuesday 17 February 2026, 10:01:11 AM.

    Hi everyone! Welcome to COMP9020 :)

    Paul and I (Jiaojiao) will be your lecturers in for COMP9020 this term. We are looking very forward to meeting you all in today's lecture! :)

    In the meantime, here are a couple of important bits of information for all of you. For those of you who are new to UNSW I know that things can be a bit confusing at first but please do not worry - you are in the very safe hands of a group of experienced tutors and there is nothing that we cannot fix together.

    We are going to be using four online systems for COMP9020. These are (1) WebCMS, (2) Formatif, (3) Discourse Forum, and (4) Moodle.

    There is currently a pre-course, one-question poll available here . It is meant to be light-hearted, and is by no means compulsory. There is no right/wrong answer - we are primarily interested to see how (if at all) your perspective changes after taking this course.

    There is also a short questionnaire available here - a little more serious than the poll, but again it is not compulsory. Its purpose is to help us best tailor the course to the current cohort, and to identify/address some of the main concerns that often arise at the start of the course.

    See you soon!
    Paul & Jiaojiao

Back to top

COMP9020 26T1 (Foundations of Computer Science) is powered by WebCMS3
CRICOS Provider No. 00098G