COMP9020 Notices

Notices

  • Remaining content from today's lecture

    Posted by Paul Hunter Thursday 09 April 2026, 04:23:42 PM.

    Hi all,

    I will cover the remaining content from today's lecture in a recording today at 5pm . It should take at most 1 hour. As usual, you are welcome to join and ask questions.

    The recording will be taking place here: https://unsw.zoom.us/j/3916502447

    Best,

    Paul

  • Lecture recording (Algorithmic Analysis)

    Posted by Paul Hunter Thursday 02 April 2026, 06:23:01 PM.

    Hi all,

    I did not get to the Algorithmic Analysis content in today's lecture, so I will be making a recording tonight at 10pm of the material. It should take at most 1 hour. As usual, you are welcome to join and ask questions. Virtual Easter Eggs will be available.

    The recording will be taking place here: https://unsw.zoom.us/j/3916502447

    This is a relatively important topic, so I will be doing a brief recap of the key points on Tuesday, but the content is needed for this week's formatif tasks.

    Sorry for the late hour, but today is the last day of term for my daughter, and it is family tradition to celebrate.

    Paul

  • Tutorials

    Posted by Paul Hunter Wednesday 01 April 2026, 12:02:39 PM.

    Hi all,

    As we near the end of term, it is more important than ever that you get noticed by your tutor! So please make the effort and turn up to (and contribute to) your tutorials for these last four weeks!

    For those that missed the announcement in yesterday's lecture, there will be no Friday tutorials this week . If you are normally timetabled for a Friday tutorial, you are welcome to attend any other tutorial this week (as long as there is room)

    Paul


  • Week 7 Help Session

    Posted by Paul Hunter Wednesday 01 April 2026, 11:58:17 AM.

    Hi all,

    For those that missed the announcement in yesterday's lecture, the help session for this week only will be held on Thursday 1-3 at Ainsworth 102 .

    Paul

  • Towers of Hanoi challenge - URGENT

    Posted by Paul Hunter Monday 30 March 2026, 07:30:09 AM.

    Hi all,

    A reminder to complete the Towers of Hanoi challenge by today 6pm if you want to see me lecture in my academic regalia.

    So far less than one third of you have completed the task. So if you have completed it,find some of your classmates and spread the word!

    Paul

  • Flex week review lecture (Thu 11-1)

    Posted by Paul Hunter Tuesday 24 March 2026, 08:54:59 AM.

    Hi all,

    Sufficiently many of you have indicated that you would like, and are willing to attend, an additional lecture this week covering the course content from the first five weeks. So this will be going ahead.

    The lecture will be on Thursday, 11-1 in Burrows Theatre (i.e. usual time and place). I hope it will be recorded, but there is no guarantee. Snacks will be provided.

    The lecture will be largely student-driven. If there are any questions/concepts you would like to be covered please use this forum post to let me know in advance.

    See you on Thursday!

    Paul

    PS Don't forget about the Towers of Hanoi challenge!!

  • Help Sessions (Fridays 11-1)

    Posted by Paul Hunter Tuesday 24 March 2026, 08:44:20 AM, last modified Wednesday 25 March 2026, 11:39:46 AM.

    Hi all,

    Following feedback we have received from a number of you, we have arranged for an additional help session for one-on-one support. This will be starting this week, and run on Fridays 11-1 (weeks 6-10) in UNSW Business School 207 . Please note that attendance is entirely optional, and these sessions are intended to supplement, not replace, existing arrangements. Due to resource constraints, the priority will be to support students struggling with the course content; students with other concerns may not find any benefit from these sessions.

    Jiaojiao & Paul

  • Conclusion of today's lecture

    Posted by Paul Hunter Thursday 19 March 2026, 07:19:59 PM, last modified Thursday 19 March 2026, 11:50:00 PM.

    Hi all,

    I interrupted Jiaojiao today to advertise the Challenge Task (that I hope you are all attempting!) so she did not get a chance to finish the topic.

    I will be recording this final content tonight at 8:30pm . As always, you are welcome to come along, especially if you have questions.

    The recording will be posted to Lecture Recordings shortly after the conclusion of the recording.

    Hope to see you there,

    Paul

  • Flex week review lecture

    Posted by Paul Hunter Thursday 19 March 2026, 12:46:14 PM, last modified Thursday 19 March 2026, 12:46:43 PM.

    Hi all,

    A reminder that there are currently no scheduled lectures next week .

    However, based on some of the feedback we have been receiving, it sounds like some of you would appreciate a review lecture next week covering the content of the first half of the course. I will run one (in the Thursday timeslot) if there is enough general interest.

    To gauge broader interest I have put up a poll here: https://webcms3.cse.unsw.edu.au/COMP9020/26T1/activities/polls/1824

    This is intended to be an interactive lecture - I only intend to cover content that you want reviewed. As such, I will only run the lecture if there is going to be sufficient attendance in person . The lecture will hopefully be recorded, though there is no guarantee.

    The poll closes on Tuesday at 12:30 and I will send out a notification shortly after if the lecture will be going ahead.

    Regards,

    Paul

  • 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