• Coursework marks

    Posted by Paul Hunter Tuesday 14 December 2021, 12:42:19 AM.

    Hi all,

    All being well, this will likely be the final communication you receive from me in this course.

    You should now be able to see your coursework marks (Assignments & Quizzes) under the "Grades" button at the bottom of the menu on the course webpage.

    Unfortunately, I cannot release exam marks as it is against university policy to release provisional grades before the official announcement, but this will come in the next few days.

    Although these are the marks that have been submitted for your final grade, amendments can be made if there has been any significant omission - so please get in touch if there is an issue.

    I am happy to provide more detailed feedback and answer any questions - the same applies when final grades are announced.

    Thank you all for your patience through this latest term of remote learning. Hopefully the new year will see a return to campus for many students, and the opportunity for us to offer a wider variety of learning environments to you. At least now I've picked up a few more tricks and tips to add to my teaching toolbox going forward (including not using Zoom on Linux for lecturing!).

    Have a great holiday,


  • Sample answers

    Posted by Paul Hunter Tuesday 30 November 2021, 08:23:23 AM.

    Hi all,

    I have uploaded the solutions (now complete) of the assignments; and a walkthrough of me answering the sample exam (under Lecture Recordings). Unfortunately the recording of my working during the walkthrough is postage-stamp sized, so it is a little difficult to see my paper-based working.

    At about 13 minutes into the walkthrough I demonstrate how it is possible to modify the proof assistant to enter your own formulas. This is definitely a use at your own risk scenario - the proof assistant is more strict than necessary in an exam situation, and it may take considerably longer to write a proof using the tool than it would if you just wrote it out.

    All the best with today's exam,


  • Sample exam available

    Posted by Paul Hunter Monday 22 November 2021, 11:46:22 AM, last modified Monday 22 November 2021, 12:13:06 PM.

    Hi all,

    I have put up a sample exam on inspera. The exam is a similar format and difficulty (in my opinion) to the sample exam - the sample questions are (mostly) taken from previous exam questions that I have run.

    To access it, go to

    Log in, using either your SSO, or your id/pass generated for Assignment 3 (or both if you want multiple attempts)

    Click "Register" under "Do you have a test code?"

    Enter the code: NSW-97460692


Upcoming Due Dates

There is nothing due!

Back to top

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