**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 | (no location yet! |