This is an old revision of the document!


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 5/15 05:00-07:00 pm