COMP6463 Overview of Logic and Computation

COMP6463 is only available under certain award programs.

Offered By	Research School of Computer Science
Academic Career	Graduate Coursework
Course Subject	Computer Science
Offered in	Second Semester, 2011 and Second Semester, 2012
Unit Value	6 units
Course Description	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.
Learning Outcomes	On satisfying the requirements of this course, students will have the knowledge and skills to: Define several formal logical languages, their syntax and semantics. Explain inference mechanisms and their theoretical properties. Demonstrate how these languages and inference mechanisms can be applied to model and solve problems. Experiment with computer programs for automated reasoning. Develop mathematical proofs in the area of formal logic.
Indicative Assessment	Assignments (100%).
Workload	Three one-hour lectures per week.
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.
Areas of Interest	Computer Science

The information published on the Study at ANU 2011 website applies to the 2011 academic year only. All information provided on this website replaces the information contained in the Study at ANU 2010 website.