Overview of Logic and Computation COMP4630
Learning outcomes
More information may be available for enrolled students on the course website at http://cs.anu.edu.au/courses/comp4630
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.
