Overview
Computer Science (Sci) : Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.
Terms: This course is not scheduled for the 2009-2010 academic year.
Instructors: There are no professors associated with this course for the 2010-2011 academic year.
- 3 hours
- Prerequisite: COMP 302
- Restriction: Not open to students who have taken COMP 426