• Assignment 2 now available

    Posted by Paul Hunter Sunday 05 July 2020, 04:24:03 AM.

    Hi all,

    The second assignment is now available. It is due at 12:00 noon, Tuesday 21 July (Sydney time).


  • Quiz 4 now available

    Posted by Paul Hunter Saturday 27 June 2020, 04:00:53 PM.

    Hi all,

    Quiz 4 is now available. It is due at 4pm on Monday June 29 .


  • Week 4 Challenge and Practice questions

    Posted by Paul Hunter Wednesday 24 June 2020, 11:45:57 PM.

    Hi all,

    I have posted the Challenge question for this week. It consists of a series of (tricky) proof exercises and is set up in the recently posted Proof Assistant tool - though you do not have to use the system to attempt the challenge. For this challenge there is no option to submit (yet) - this may change if I get a chance to update the Proof Assistant to handle feedback.

    I have also posted the first of several sets of Practice Questions, and their solutions. These questions are intended to give you an indication of the knowledge/ability I expect you to have at the conclusion of the course (i.e. they are roughly the level of difficulty of exam questions). Completion of these questions is completely optional. Please make use of them to identify any potential weak areas you may have, and feel free to ask about any concepts/solutions that you don't understand.


Upcoming Due Dates

Back to top

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