page for Winter term

CS 245: Logic and Computation (Spring 2015)

This is the homepage for CS 245 at the University of Waterloo (Spring 2015 edition).

For course information, we have

We will post important announcements in this page regularly. Make sure to keep up with them. Announcements may also appear on the Piazza site for the course.

Announcements

May 27

Assignment 4 is now available from the Assignments page.

<May 20

Assignment 3 is now available from the Assignments page.

May 13

Assignment 2 is now available from the Assignments page.

May 13

Consulting hours now appear on the Personnel page.

May 3

If you wish to register or to change your current registration (lecture and/or tutorial session), either use Quest or contact a CS advisor. If you receive advice to contact an instructor, you may skip that step. We will merely refer you to a CS advisor.