Logic COMP2620
Learning outcomes
More information may be available for enrolled students on the course website on Wattle
More information may be available for enrolled students on the course website at http://cs.anu.edu.au/courses/info/COMP2620
Upon completion of this course, students will have the knowledge and skills to:
- Express reasoning problems using first order logical notation.
- Construct natural deduction proofs in first order logic and translate between calculi.
- Explain the relationship between rules of deduction and the semantics of logic.
- Critically assess and compare philosophical views on issues arising from elementary logic.
