COMP8630 Beyond Classical Logic
COMP8630 is only available under certain award programs.
| Offered By | Department of Computer Science |
|---|---|
| Academic Career | Graduate Coursework |
| Course Subject | Computer Science |
| Offered in | COMP8630 will not be offered in 2009 |
| Unit Value | 6 units |
| Course Description |
This course goes into some detail concerning the mathematics and the applications of a range of logical systems which go beyond orthodox classical logic, either by adding modal, temporal, epistemic, deontic or similar intensional operators, or by elaborating the structural rules which define the notion of derivation, for example so as to track the consumption of resources by actions corresponding to proof steps. The format will be a seminar-style discussion group. |
| Course Classification(s) | AdvancedAdvanced courses are designed for students having reached 'first degree' level of assumed knowledge, which provide a deep understanding of contemporary issues; or 'second degree' and higher levels of knowledge; or for transition to research training programs. and SpecialistSpecialist courses are designed for students having reached 'first degree' level of assumed knowledge, which provide for the acquisition of specialist skills; or 'second degree' and higher level of knowledge; or for transition to research training programs; or knowledge associated with professional accreditation. |
| Areas of Interest | Computer Science |
| Requisite Statement |
Enrolment in the MICT program |
| Recommended Courses |
COMP6630 |
The information published on the Study at ANU 2009 website applies to the 2009 academic year only. All information provided on this website replaces the information contained in the Study at ANU 2008 website.
