| DATE | TOPIC | NOTES | READING | COMMENTS/EXTRAS |
| 01/03/05 | Logic and Proofs | 01.ppt | section 1.2 | Prisoner's dilemma |
| 01/04/05 | Logic and Proofs | 02.ppt | section 1.3 | MP & the Holy Grail, scene 5 |
| 01/05/05 | Logic and Proofs | 03.ppt | Section 1.4 | . |
| 01/07/05 | Logic and Proofs | 04.ppt | Section 1.5 | . |
| 01/10/05 | Boolean Algebra and Combinatorial Circuits | 05.ppt | Sections 12.1-3 | . |
| 01/11/05 | Discussion | . | . | Quiz 1 |
| 01/12/05 | Boolean Algebra and Combinatorial Circuits | 06.ppt | Section 12.3 | HW1 due |
| 01/14/05 | Boolean Algebra and Combinatorial Circuits | 07.ppt | Section 12.3 | . |
| 01/17/05 | No class | . | . | MLK DAY |
| 01/18/05 | Discussion | . | . | . |
| 01/19/05 | Sets, Relations and Functions | 08.ppt | Section 1.1 | HW2 due |
| 01/21/05 | Sets, Relations and Functions | 09.ppt | Section 3.1 | . |
| 01/24/05 | Sets and Relations | 10.ppt | Sections 3.2-3 (except lattices), 4.1-2 | . |
| 01/25/05 | Discussion | . | . | Quiz 2 |
| 01/26/05 | Class postponed | . | . | . |
| 01/28/05 | Functions and integers | 11.ppt | Sections 5.1-2 | . |
| 01/31/05 | Mathematical Induction | 12.ppt | pp. 133-8 | Tromino applet |
| 02/01/05 | Algorithms | 13.ppt | Section 1.6, pp.138-142 | . |
| 02/02/05 | Algorithms | 14.ppt | Section 9.1 | Humor: Proof methods |
| 02/01/05 | Discussion | notes | . | Make-up class |
| 02/04/05 | Algorithms | 15.ppt | Section 9.2 up to p. 583 | Sorting algorithms demo # 1 Demo #2 (allows parallel runs) |
| 02/07/05 | Midterm exam | . | . | Midterm Exam HW3 due |
| 02/08/05 | Discussion | . | . | . |
| 02/09/05 | Algorithms | 16.ppt | Section 9.2 up to p. 583 | . |
| 02/11/05 | Combinatorics | 17.ppt | Sections 7.1-2 | Last day to drop a class |
| 02/14/05 | Combinatorics | 18.ppt | Sections 7.3-5, 7.8 | . |
| 02/15/05 | Discussion | . | . | . |
| 02/16/05 | Recurrences | 19.ppt *updated* | Sections 8.1-2, browse 8.3 | . |
| 02/18/05 | Graph Theory | 20.ppt | Sections 10.1-4 | HW4 due Actual map of Königsberg |
| 02/21/05 | Graph Theory | 21.ppt | Sections 10.5, 10.7 | . |
| 02/22/05 | Discussion | . | . | Quiz 3 |
| 02/23/05 | Graph Theory | 22.ppt *updated* | Section 10.7 | Mapping Magic The Price of Anarchy |
| 02/25/05 | Graph Theory | 23.ppt | pp. 743-7 | HW5 due |
| 02/28/05 | Trees | 24.ppt | Section 11.1 | . |
| 03/01/05 | Discussion | . | . | . |
| 03/02/05 | Trees | 25.ppt *updated* | Section 11.2, p. 575 | . |
| 03/04/05 | Finite Automata | 26.ppt | Section 13.1 | HW6 due |
| 03/07/05 | Finite Automata | 27.ppt | Section 13.1 | . |
| 03/08/05 | Discussion | . | . | Quiz 4 |
| 03/09/05 | Grammars | 28.ppt*updated* | Section 13.3 | . |
| 03/11/05 | Review | Review sheet | . | HW7 due |
| 03/17/05 | Final Exam, 9:00-11:00 | . | . | Final Exam |