*Note: this is a dynamic schedule, it will almost definitely change as
the semester progresses, so make sure to regularly check for changes!*

Week | Event | Date | Topic | Read | Recommended Practise Exercises |
---|---|---|---|---|---|

Week 1 | Lecture 1 | Wednesday 1/22 | Course Introduction & Organization | Syllabus, §1.1-1.3 | |

Lecture 2 | Friday 1/23 | Propositional Logic I | §2.1-2.2 | §1.1: 13, §1.2: 2b,4,7e,8d, §1.3: 2,8,14,17 | |

Week 2 | |||||

Lecture 3 | Monday 1/27 | Propositional Logic II | §2.3 | §2.1: 1,5a,6,11,14,15,16,21,25,27,36,40 §2.2: 1,5,9,12,16,20a,21,22a,23a,24,29,32,33,34,37,39,40,42,44,47,49 | |

Lecture 4 | Wednesday 1/29 | Predicate Logic I | §3.1-3.2 | §2.3: 3,6,8,12a,14,22,26,36,37,38a,39,41 | |

Lecture 5 | Friday 1/31 | Predicate Logic II | §3.3 | §3.1: 1ab,3,8a,11,18abe,23a,24a,27ab, §3.2: 1,3c,7,18,28,37,43,45,48 | |

Week 3 | Lecture 6 | Monday 2/3 | Predicate Logic III | §3.4 | §3.3: 3ab,7,10ac,13,20a,24a,27,39,40a,44a,51,55,59 |

Lecture 7 | Wednesday 2/5 | Proof Methods I | §4.1-4.2 | §3.4: 1bcd,2,5,8,9,19ab,23,24,25,28,31,33 | |

Lecture 8 | Friday 2/7 | Proof Methods II | §4.3-4.4 | §4.1: 2,11,14,17,22,31,33,35,44,47, §4.2: 4,11,18,19,21,24,31,35 | |

Week 4 | |||||

Lecture 9 | Monday 2/10 | Proof Methods III | §4.6, 4.8 | §4.3: 12,14,15,18,24,38ab,44, §4.4: 3,7,18,20,23,28,32,47a | |

Lecture 10 | Wednesday 2/12 | Sequences | §5.1 | §4.6: 5,10,11,15,21,23,34ab, §4.8: 4,6,9,13,23a,24b,25a,26 | |

Lecture 11 | Friday 2/14 | Mathematical Induction I | §5.2 | §5.1: 14,27,37,40,51,55,59,69,80a,81,84,88 | |

Week 5 | Lecture 12 | Monday 2/17 | Mathematical Induction II | §5.3 | §5.2: 1,3,8,13,28 |

Lecture 13 | Wednesday 2/19 | Mathematical Strong Induction | §5.4 | §5.3: 1,3,6,8,16,24,30,39 | |

Lecture 14 | Friday 2/21 | Algorithm Correctness | §5.5 | §5.4: 1,3,4,11,14,17,18,24 | |

Week 6 | Lecture 15 | Monday 2/24 | Set Theory | §6.1 | §5.5: 1,3,6,8 |

Lecture 16 | Wednesday 2/26 | Boolean Algebras, Russell's Paradox, Halting Problem | §6.4 | §6.1: 1a,2,3,6bc,10abcde,11,13d,15ab,17a,18ab,21,27d,31ac,32a,35b | |

Lecture 17 | Friday 2/28 | Functions | §7.1-7.2 | §6.4: 1,6a,7a,8,11ai,13,14,17 | |

Week 7 | Lecture 18 | Monday 3/3 | Relations | §8.1-8.3 | §7.1: 3,4a,5ab,6,9,11ab,12,15,18,25a,26a,28a,29a,30,33,35,38,43,51abc, §7.2: 1,6,7a,9a,10,15,21,28,38,42,44,45 |

Lecture 19 | Wednesday 3/5 | Modular Arithmetic & Cryptography | §8.4 | §8.1: 3,4ab,5a,10,15,19,21, §8.2: 1,3,6,9,11,23,25,28,34,37,43,52, §8.3: 1,3,5,8,13,15,29,38 | |

Lecture 20 | Friday 3/7 | Partial Order Relations | §8.5 | §8.4: 7,9a,14,15,16,19,22,26,31,36,39,42a | |

Week 8 | Lecture 21 | Monday 3/10 | Counting & Probability I | §9.1-9.2 | §8.5: 1ab,2,5,8,9,10,11ab,13,14a,16a,17a,22,24,26,30,35,44 |

Lecture 22 | Wednesday 3/12 | Counting & Probability II | §9.3-9.4 | §9.1: 2,5,9,13ab(i),14a,16,18,21,24,26,28,31,32a, §9.2: 3,4,6,8,11ab,12,14abd,16,18a,19,22a,24,32ab,34,37a,38a,39acd | |

No Class | Friday 3/14 | Spring Recess | No Reading | None | |

Week 9 | Lecture 23 | Monday 3/17 | Counting & Probability III | §9.5-9.6 | §9.3: 8a,9a,14,25,29abcdi,31,35,37, §9.4: 3,9,12,22,26,29 |

Lecture 24 | Wednesday 3/19 | Counting & Probability IV | §9.7-9.8 | None | |

Lecture 25 | Friday 3/21 | Conditional Probability, Bayes' Formula | §9.9 | §9.7: 5,6,10,13,15,21,23,25,29,33,36,38,43,47,53, §9.8: 1,2,4,6,7,9,14,16,19 | |

Week 10 | SPRING BREAK | 3/24 - 3/30 | No Reading | N/A | N/A |

Week 11 | Lecture 26 | Monday 3/31 | Conditional Probability, Bayes' Formula | §9.9 | §9.7: 5,6,10,13,15,21,23,25,29,33,36,38,43,47,53, §9.8: 1,2,4,6,7,9,14,16,19 |

Lecture 27 | Wednesday 4/2 | Counting & Probability IV | §9.7-9.8 | None | |

Lecture 28 | Friday 4/4 | Conditional Probability, Bayes' Formula | §9.9 | §9.7: 5,6,10,13,15,21,23,25,29,33,36,38,43,47,53, §9.8: 1,2,4,6,7,9,14,16,19 | |

Week 12 | Lecture 29 | Monday 4/7 | Counting & Probability I | §9.1-9.2 | §8.5: 1ab,2,5,8,9,10,11ab,13,14a,16a,17a,22,24,26,30,35,44 |

Lecture 30 | Wednesday 4/9 | Counting & Probability II | §9.3-9.4 | §9.1: 2,5,9,13ab(i),14a,16,18,21,24,26,28,31,32a, §9.2: 3,4,6,8,11ab,12,14abd,16,18a,19,22a,24,32ab,34,37a,38a,39acd | |

Lecture 31 | Friday 4/11 | Spring Recess | No Reading | None | |

Week 13 | Lecture 32 | Monday 4/14 | Counting & Probability III | §9.5-9.6 | §9.3: 8a,9a,14,25,29abcdi,31,35,37, §9.4: 3,9,12,22,26,29 |

Lecture 33 | Wednesday 4/16 | Counting & Probability IV | §9.7-9.8 | None | |

Lecture 34 | Friday 4/18 | Conditional Probability, Bayes' Formula | §9.9 | §9.7: 5,6,10,13,15,21,23,25,29,33,36,38,43,47,53, §9.8: 1,2,4,6,7,9,14,16,19 | |

Week 15 | Lecture 35 | Monday 4/21 | Counting & Probability I | §9.1-9.2 | §8.5: 1ab,2,5,8,9,10,11ab,13,14a,16a,17a,22,24,26,30,35,44 |

Lecture 36 | Wednesday 4/23 | Counting & Probability II | §9.3-9.4 | §9.1: 2,5,9,13ab(i),14a,16,18,21,24,26,28,31,32a, §9.2: 3,4,6,8,11ab,12,14abd,16,18a,19,22a,24,32ab,34,37a,38a,39acd | |

Lecture 37 | Friday 4/25 | Spring Recess | No Reading | None | |

Week 16 | Lecture 38 | Monday 4/28 | Counting & Probability III | §9.5-9.6 | §9.3: 8a,9a,14,25,29abcdi,31,35,37, §9.4: 3,9,12,22,26,29 |

Lecture 39 | Wednesday 4/30 | Counting & Probability IV | §9.7-9.8 | None | |

Lecture 40 | Friday 5/2 | Conditional Probability, Bayes' Formula | §9.9 | §9.7: 5,6,10,13,15,21,23,25,29,33,36,38,43,47,53, §9.8: 1,2,4,6,7,9,14,16,19 | |

Week 17 | Lecture 41 | Monday 5/5 | Counting & Probability I | §9.1-9.2 | §8.5: 1ab,2,5,8,9,10,11ab,13,14a,16a,17a,22,24,26,30,35,44 |

Lecture 42 | Wednesday 5/7 | Finals Review I | N/A | N/A | |

LAST CLASS | Friday 5/9 | Finals Review II | No Reading | None | |

FINALS WEEK | Final Exam | TBA by Registrar | N/A | N/A | N/A |

Updated: January 20, 2014