黑料社

黑料社.ca / Overview / All Courses
important

Note: 黑料社鈥檚 new Course Catalogue will replace the eCalendar. The Course Catalogue is expected to go live the week of April 22nd. When the new site is published, "mcgill.ca/study" will be redirected to the new Course Catalogue website.

Course information on this site is not reflective of offerings for the 2025鈥�2026 academic year. Some irregularities may occur as we move operations to the incoming Course Catalogue.

COMP 527 Logic and Computation (3 credits)

Offered by: Computer Science (Faculty of Science)

Overview

Computer Science (Sci) : Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.

Terms: Winter 2025

Instructors: Pientka, Brigitte (Winter)

  • 3 hours

  • Prerequisite: COMP 302

  • Restriction: Not open to students who have taken COMP 426

Back to top