Note: For information about Fall 2025 and Winter 2026 course offerings, please refer to Visual Schedule Builder. A technical issue is causing the "Terms offered" field to incorrectly appear blank for many courses in the Course Catalogue.

COMP 230. Logic and Computability.

Credits: 3
Offered by: Computer Science (Faculty of Science)
This course is not offered this catalogue year.

Description

Propositional Logic, predicate calculus, proof systems, computability Turing machines, Church-Turing thesis, unsolvable problems, completeness, incompleteness, Tarski semantics, uses and misuses of Gödel's theorem.
  • 3 hours
  • Prerequisite: CEGEP level mathematics.

Most students use Visual Schedule Builder (VSB) to organize their schedules. VSB helps you plan class schedules, travel time, and more.

Launch Visual Schedule Builder
Back to top

We use cookies to help improve the usability of our websites.

What are you comfortable with?