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.
Additional source review: awaiting review. Published wording is shown below.
Saved requirements encoded for automatic checks. These are prototype interpretations, not ANU decisions or degree-completion checks.
Requisite and Incompatibility
You are not able to enrol in this course if you have previously completed PHIL2080 or COMP2620.
Referenced entries (2)
Links and code mentions retain their original context above. They may describe options, prerequisites or exclusions.
- PHIL2080 · 2027 · saved source not linked
- COMP2620 · 2027 · saved source not linked
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.
Published offerings
Future offerings are indicative. Only recognised 2027 sessions with a published class number are offered in the enrolment demo.
| Year | Session | Class number | Class start date | Last day to enrol | Census date | Class end date | Mode Of Delivery | Class Summary |
|---|---|---|---|---|---|---|---|---|
| 2027 | First Semester | 5092 | 22 Feb 2027 | 01 Mar 2027 | 31 Mar 2027 | 28 May 2027 | In Person | N/A |
| 2028 | First Semester | 6497 | 21 Feb 2028 | 28 Feb 2028 | 31 Mar 2028 | 26 May 2028 | In Person | N/A |
Complete offering text
ANU utilises MyTimetable to enable students to view the timetable for their enrolled courses, browse, then self-allocate to small teaching activities / tutorials so they can better plan their time. Find out more on the Timetable webpage. The list of offerings for future years is indicative only. Class summaries, if available, can be accessed by clicking on the View link for the relevant class number. 2027 2028 First Semester Class number Class start date Last day to enrol Census date Class end date Mode Of Delivery Class Summary 5092 22 Feb 2027 01 Mar 2027 31 Mar 2027 28 May 2027 In Person N/A First Semester Class number Class start date Last day to enrol Census date Class end date Mode Of Delivery Class Summary 6497 21 Feb 2028 28 Feb 2028 31 Mar 2028 26 May 2028 In Person N/A
Source evidence (2 saved copies)
Matching copies share this record. Their original file locations and checksums are retained.
assets/Courses/Artificial Intelligence/6000/Logic/Logic - ANU.html
Published ANU page · saved page URL
SHA-256: 50e4805e1d5dfe3256336cd16767f1bf99f44c88287e7de96a0c2c343ed52b9aassets/Courses/Computational Foundations/6000/Logic/Logic - ANU.html
Published ANU page · saved page URL
SHA-256: fc679464c47afa372238be1481cf55d67fb32a9073647d56a86709ae4a52d2d6