Skip navigation
The Australian National University

Overview of Logic and Computation


There will be five assignments: classical propositional logic; first-order logic; modal and temporal logic; untyped lambda calculus; and typed lambda calculus. The assignments will be worth a total of 50% of the marks.

The assignments are NOT all of equal value so check carefully.

There is a schedule in tabular format which sets out the assignments and their due dates

Please read the ANU guidelines on Code of Practice for Student Academic Integrity,

In the past, students caught colluding have been given zero marks for all questions on which they are suspected of colluding.

All marks can be moderated.

Appeals about marks for assignments must be made within two weeks of marks being returned.

Any submissions for marks for this course may be subject to an interview process to justify their marks. So don't collude!

Updated:  01 July 2019 / Responsible Officer:   JavaScript must be enabled to display this email address. / Page Contact:   JavaScript must be enabled to display this email address. / Powered by: Snorkel 1.4