COMP6463 Overview of Logic and Computation

COMP6463 is only available under certain award programs.

Offered By	Department of Computer Science
Academic Career	Graduate Coursework
Course Subject	Computer Science
Offered in	First Semester, 2009 and Second Semester, 2010
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. There will be 2 lectures per week and weekly tutorial-style meetings. 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.
Workload	Partly 2 hours of lecture and a one-hour tutorial, partly 3 hours of lecture, for 12 weeks. Students can expect to undertake 3 hours of study per week outside class time.
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 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.