COMP 527. Logic and Computation.

Credits: 3
Offered by: Computer Science (Faculty of Science)
Terms offered: Winter 2026
View offerings for Winter 2026 in Visual Schedule Builder.

Description

Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.
  • 3 hours
  • Prerequisite: COMP 302
  • Restriction: Not open to students who have taken COMP 426

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?