University of Toronto - Department of Computer Science - Summer 2012

Mathematical Expression and Reasoning for Computer Science

Menu item: Textbook
Please use the links in the left frame to navigate this site.

Textbook and references

Required textbook

There is no required textbook. Instead, detailed course notes will be posted on the Lectures page.

Recommended reference

The following textbook served as an inspiration for our "structured proof" approach and covers most of the course topics (except for the material on algorithm analysis towards the end of the course).