COMP4630 Overview of Logic and Computation

Later Year Course

Offered By	Department of Computer Science
Academic Career	Undergraduate
Course Subject	Computer Science
Offered in	First Semester, 2009 and Second Semester, 2010
Unit Value	6 units
Course Description	This 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 (50%);Final Exam (50%)
Workload	Twenty-six one-hour lectures, ten one-hour tutorials
Areas of Interest	Computer Science and Information Technology
Requisite Statement	24 units of 3000-level COMP courses including COMP3610
Science Group	C

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.