University of Toronto - Department of Computer Science - Summer 2012

Mathematical Expression and Reasoning for Computer Science

Menu item: Lectures/Notes
Please use the links in the left frame to navigate this site.

Lecture notes

Every week, specific sections of the course notes (see above) will be posted as readings. You will be expected to read these sections to prepare for the following week's lectures.

The readings are NOT taken from "How To Prove It", but from the course notes posted just above.