COMP6262 Logic

About the course

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.

When it meets

Every week

• Wed 17:00–18:00 lecture
• Thu 12:00–13:00 lecture
• Fri 12:00–13:00 lecture

Choose one tutorial (12 options)

• Wed 11:00–13:00
• Wed 11:00–13:00
• Wed 11:00–13:00
• Thu 08:00–10:00
• Thu 09:00–11:00
  Fri 15:00–17:00
• Thu 11:00–13:00
  Fri 09:00–11:00
• Thu 11:00–13:00
  Fri 13:00–15:00
• Thu 14:00–16:00
  Fri 09:00–11:00
• Thu 15:00–17:00
• Thu 15:00–17:00
• Thu 15:00–17:00
• Thu 16:00–18:00
  Fri 15:00–17:00

2027 times aren't published yet, so these are last year's.

Requirements

You are not able to enrol in this course if you have previously completed PHIL2080 or COMP2620.

Wording from ANU Programs and Courses.