- Code COMP8670
- Unit Value 6 units
- Offered by Research School of Computer Science
- ANU College ANU College of Engineering and Computer Science
- Course subject Computer Science
- Areas of interest Computer Science
This broad course covers: essentials of first order logic, up to and including completeness proofs; introductions to proof theory and model theory; elements of modal and temporal logic; introduction to automated reasoning. Students will have the opportunity to read and present material going beyond that in the lectures.
Requisite and Incompatibility
Tuition fees are for the academic year indicated at the top of the page.
- Student Contribution Band:
- Unit value:
- 6 units
Offerings, Dates and Class Summary Links
Class summaries, if available, can be accessed by clicking on the View link for the relevant class number.
|Class number||Class start date||Last day to enrol||Census date||Class end date||Mode Of Delivery||Class Summary|
|6068||26 Jul 2021||02 Aug 2021||31 Aug 2021||29 Oct 2021||In Person||N/A|