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, 2012 and Second Semester, 2013
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.
Indicative Assessment	Assignments (50%);Final Exam (50%).
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 2012 website applies to the 2012 academic year only. All information provided on this website replaces the information contained in the Study at ANU 2011 website.