COMP 527. Logic and Computation.
Note: For information about Fall 2025 and Winter 2026 course offerings, please check back on May 8, 2025. Until then, the "Terms offered" field will appear blank for most courses while the class schedule is being finalized.
COMP 527
Logic and Computation.
Credits: 3
Offered by: Computer Science (Faculty of Science)
This course is not offered this catalogue year.
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