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