COMP 527 Logic and Computation
3 credits · Computer Science · Faculty of Science · Not scheduled for 2026–2027
Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.
Prerequisites
COMP 302
Prerequisite courses: COMP 302
Restrictions
Not open to students who have taken COMP 426
Plan your whole degree in myDegree. Fit COMP 527 and everything it needs into a plan, term by term. Open myDegree
Source: McGill Course Catalogue. myDegree is an independent student project, not affiliated with McGill University.