Notices

  • Problem Set 3

    Posted by Edward Norman Monday 22 June 2026, 09:33:54 AM.

    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






  • Problem Set 2

    Posted by Edward Norman Monday 15 June 2026, 04:52:07 PM.

    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





  • Problem Set 1 - WebCMS release issue

    Posted by Edward Norman Tuesday 09 June 2026, 09:33:33 AM.

    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




Upcoming Due Dates

There is nothing due!

Back to top

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