Menu item: Textbook
Please use the links in the left frame to navigate this site.
There is no required textbook. Instead, detailed course notes will be posted on the Lectures page.
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).