pages from Spring term

CS 245: Logic and Computation (Fall 2015)

This is the homepage for CS 245 at the University of Waterloo (Fall 2015 edition).
This page applies ONLY to sections 001–005 (taught by J. Buss and P. Van Beek). It does NOT apply to section 006, taught by S. Ben David.

Note: the tutorials scheduled for Monday, Sept. 14 will not meet.

For course information, we have

For regular announcements, please see the Piazza site for the course.

Each page on this site has navigation links at the upper right: