COMP4630 Overview of Logic and Computation

Later Year Course

Offered By	Research School of Computer Science
Academic Career	Undergraduate
Course Subject	Computer Science
Offered in	Second Semester, 2011 and Second Semester, 2012
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 (100%).
Workload	Three one-hour lectures per week.
Areas of Interest	Computer Science and Information Technology
Requisite Statement	24 units of 3000-level COMP courses including COMP3610 or COMP3630
Programs	Bachelor of Information Technology (Honours)
Science Group	C

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.