COMP6262
Logic
- Credit
- 6 units
- Catalogue year
- 2027
- Recorded offerings
- First Semester
Course information
Formal logic is the fundamental mathematics of computer science. Its impact ranges from the design of programming languages and hardware, to the specification and verification of critical software, to artificial intelligence systems that can reason. This course introduces propositional and predicate logic. We discuss how to reason within these logics, how to reason about their properties and limitations, and how to use them to model situations of interest in both natural language and computer science applications. We explore how computational thinking can help us solve logic problems.
Requisite and Incompatibility
You are not able to enrol in this course if you have previously completed PHIL2080 or COMP2620.
Learning Outcomes
Upon successful completion, students will have the knowledge and skills to:
Model natural language and computer science applications using logical notation.
Construct formal proofs in logical calculi.
Apply computational methods to solve logical problems.
Analyse the properties of logics, including the relationship between logical calculi and mathematical semantics.
Understand the relationships between different logics with applications to computer science.
Saved ANU Programs & Courses information, 2027. Future offerings are indicative. Checks use the saved requirements and your fictional academic record.
Saved requirements encoded for automatic checks. See your requirement checks for what can be decided.
Course library: sources, offering dates and related entries
Read the full published course information ↗
Who reviews permission requests?
Dr Rowan Ellis is the fictional reviewer assigned to COMP6262 in this prototype. The selected course determines where a request goes.
Make this part of your semester
Sign in to check your fictional academic record, save this offering, and request permission if needed.
Sign in