University of Toronto -- Department of Computer Science
Fall Session 2003 -- St. George Campus

CSC 165H: "Mathematical Expression and Reasoning for Computer Science"

Lecture Summaries

See the Contact Information page for lecture times and rooms.

This webpage will contain summaries of the lecture notes during the term. These notes will always be posted at the end of the week, i.e., after Wednesday.

I will try to post a short outline of lecture topics during the first few weeks of the term, so that you have an idea what to expect.


Lecture Summaries

All files are in ASCII (plain text) format. Note that these summaries are in no way a substitute for your own lecture notes (or notes borrowed from someone else in the class).

  1. Week 1 (Parts of sections 1.1 and 1.2 from "Learning to Reason" book.)
  2. Week 2 (Parts of sections 1.1 and 1.2 from "Learning to Reason" book.)
  3. Week 3 (Parts of sections 1.1 and 1.2 from "Learning to Reason" book.)
  4. Week 4 (Parts of sections 1.3 and 1.6 from "Learning to Reason" book.)
  5. Week 5 (Parts of sections 1.3 and 1.6 from "Learning to Reason" book.)
  6. Week 6 (Parts of chapter 2 from "Learning to Reason" book.)
  7. Week 7 (Parts of chapter 2 from "Learning to Reason" book.)
  8. Week 8 (Parts of chapter 2 from "Learning to Reason" book.)
  9. Week 9
  10. Week 10
  11. Week 11
  12. Week 12
  13. Week 13

Tutorial Notes

Every week starting in Week 3, the tutorials will be based on the current assignment. For Weeks 1 and 2, a summary of the tutorials will be posted below.

  1. Week 1 (in Adobe PDF).
  2. Questions 4, 1, and 2(a) on last year's Assignment 1 (in Adobe PDF).

Go back to the menu (if your browser does not support frames).

© Copyright 2003 by François Pitt
last updated at 15:53 on Mon 1 Dec 2003

Valid HTML 4.01!