Foundations of Computer Science COMP9020 26T1

Notices

  • 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

Upcoming Due Dates

There is nothing due!

Back to top

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