COMP6262 Logic
S16 units6000-level
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.
- 2024S1
- 2025S1
- 2026S1
- 2027S1
Prerequisites in 2026
No prerequisites
None: anyone in a postgraduate program can enrol.
Incompatible with PHIL2080, COMP2620: you can't count both.
The handbook's original wording (2024–2027)
You are not able to enrol in this course if you have previously completed PHIL2080 or COMP2620 .
What it leads to in 2026
These courses name COMP6262 in their 2026 prerequisites: