University of Toronto -- Department of Computer Science
Winter Session 2004 -- 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.
Lecture Summaries
Note that these summaries are in no way a substitute for your own lecture
notes (or notes borrowed from someone else in the class).
- Week 1 in PS and PDF.
- Week 2 in PS and PDF.
- Week 3 as text.
- Week 4 PRELIMINARY notes as text.
- Week 5 PRELIMINARY notes as text. (L5101 Slides)
-
- Week 6 PRELIMINARY notes as text.
- Notes on Direct Proof Structure
in PS and PDF.
- Week 7 in PS and PDF.
- Week 8 PRELIMINARY notes as text.
- Loop invariant notes as PS and PDF.
- Big-O notes as PS and PDF.
Big-Theta/Omega notes as PS and PDF.
- Running time notes as PS and PDF.
- You can read ahead on floating-point systems with the following preliminary notes: Part I (PS), Part I (PDF), Part II (PS), Part II (PDF).
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.
- Week 1
- Week 2
Go back to the menu
(if your browser does not support frames).