CS 245: Logic and Computation — Winter 2017

David R. Cheriton School of Computer Science


All material and general information will be posted on Learn. If you wish to register or to change sections, either use Quest or contact a CS advisor (not a Math advisor). The instructors cannot help with registration issues.

For any other general information, please contact the course coordinator:

Ahmed HajYasien  ahajyasi@uwaterloo.ca