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).
- Week 1
(Parts of sections 1.1 and 1.2 from "Learning to Reason" book.)
- Week 2
(Parts of sections 1.1 and 1.2 from "Learning to Reason" book.)
- Week 3
(Parts of sections 1.1 and 1.2 from "Learning to Reason" book.)
- Week 4
(Parts of sections 1.3 and 1.6 from "Learning to Reason" book.)
- Week 5
(Parts of sections 1.3 and 1.6 from "Learning to Reason" book.)
- Week 6
(Parts of chapter 2 from "Learning to Reason" book.)
- Week 7
(Parts of chapter 2 from "Learning to Reason" book.)
- Week 8
(Parts of chapter 2 from "Learning to Reason" book.)
- Week 9
- Week 10
- Week 11
- Week 12
- 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.
- Week 1 (in Adobe PDF).
- 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