The laboratory sessions will be held in the Habermann computer cluster on the 5th floor in Wean (5419 A/B).
| Lecture | T, R | 13:30-14:50 | PH A18C |
| Section A/B | W | 13:30-14:20 | Wean 5419 A/B |
| Section C/D | W | 14:30-15:20 | Wean 5419 A/B |
The topics below a given with reference to chapters in your book.
| Lecture | Date | Topic | Material |
|---|---|---|---|
| 1 | Aug 25 | Language and Proofs | |
| 2 | Aug 27 | Language and Proofs | |
| 3 | Sep 1 | Sets and Numbers | |
| 4 | Sep 3 | Sets and Numbers | |
| 5 | Sep 8 | Functions | |
| 6 | Sep 10 | Functions | |
| 7 | Sep 15 | Induction | |
| 8 | Sep 17 | Induction | |
| 9 | Sep 22 | Induction | |
| 10 | Sep 24 | Induction | |
| 11 | Sep 29 | Induction | |
| 12 | Oct 1 | Induction | |
| 13 | Oct 6 | Counting and Cardinality | |
| 14 | Oct 8 | Counting and Cardinality | |
| 15 | Oct 13 | Divisibility | |
| 16 | Oct 15 | Divisibility | |
| 17 | Oct 20 | Modular Arithmetic | |
| 18 | Oct 22 | Modular Arithmetic | |
| 19 | Oct 27 | The Rational Numbers | |
| 20 | Oct 29 | The Rational Numbers | |
| 21 | Nov 3 | The Real Numbers | |
| 22 | Nov 5 | The Real Numbers | |
| 23 | Nov 10 | Combinatorial Reasoning | |
| 24 | Nov 12 | Combinatorial Reasoning | |
| 25 | Nov 17 | Two Principles of Counting | |
| 26 | Nov 19 | Two Principles of Counting | |
| 27 | Nov 24 | Review | |
| 28 | Dec 1 | Review | |
| 29 | Dec 3 | Review | |
| -- | Dec ?? | Final |
|
|
Back to main. |
Last updated 980515 by sutner@cs