This is an old revision of the document!
PHP's gd library is missing or unable to create PNG images
Schedule
This table specifies when we cover which topics. The link in the first column connects this page to the lecture notes and homework that you will be working on for the corresponding week. The third column lists the sections in Sets, Logic and Maths for Computing, Second Edition that cover the lecture material. The Tue/Thu columns list the lecture dates. The midterm exam due date is highlighted but may change.
| Week | Topics of the Week | SLMC Readings | Tue | Thu |
|---|---|---|---|---|
| -1- | Introduction - sets & induction | Ch. 1; Sec 1.1-1.4 | 1/24 | |
| -2- | More sets - Intersection and Union | Ch. 1 | 1/29 | 1/31 |
| -3- | Power sets and Relations | Ch. 1 - 1.6, Ch. 2 | 2/5 | 2/7 |
| -4- | Binary Relations, introduction | Ch. 2 - 2.1 - 2.5 | 2/12 | 2/14 |
| -5- | Equivalence Relations | Ch. 2 | 2/19 | 2/21 |
| -6- | Equivalence Relations/partitions/order | Ch. 2, 3 | 2/26 | 2/28 |
| -7- | Functions, Midterm Exam | Ch. 3 | 3/5 | 3/7 |
| Spring Break | ||||
| -8- | Induction and Recursion, Natural numbers | Ch. 4 | 3/26 | 3/28 |
| -9- | Permutations and combinations | Ch. 5 | 4/2 | 4/4 |
| -10- | Partitions, Probability | Ch. 5.5, Ch. 6 | 4/9 | 4/11 |
| -11- | Probability, Propositional logic intro. | Ch. 6, 8 | 4/16 | 14/18 |
| -12- | Propositional logic | Ch. 8 | 4/23 | 4/25 |
| -13- | “Proof and consequences” | Ch. 10 | 4/30 | 5/2 |
| -14- | Wrap-up/review | 5/7 | ||
| Final Exam: Wed May 15, 05:00 - 07:00 pm | (no location yet! | |||