### CS 173 [B], Spring 2015

# Lectures

A tentative schedule of lectures (and examlets and homework due dates) is given below. Lecture slides will be posted on the day of the lecture.# | Date | Topic | Pre-lecture preparation | Slides |
---|---|---|---|---|

00 | Jan 20 | Introduction | no pre-lecture preparation | |

01 | Jan 22 | Logic | watch video 1 & video 2, read 2.1-2.10, take quiz on Moodle. | |

02 | Jan 27 | watch video 3, read 2.11 - 2.17, take quiz on Moodle. | ||

03 | Jan 29 | Proofs | read chapter 3, take quiz on Moodle. Examlet on Logic. | |

04 | Feb 3 | Numbers | read 4.1 - 4.9, watch video clip, take quiz on Moodle. | |

05 | Feb 5 | read chapter 4, take quiz on Moodle. HW on Logic, Proofs. | ||

06 | Feb 10 | Sets | read chapter 5, take quiz on Moodle. | |

07 | Feb 12 | Relations | read chapter 6, take quiz on Moodle. Examlet on Numbers. | |

08 | Feb 17 | Functions | read chapter 7, take quiz on Moodle. | |

09 | Feb 19 | read chapter 8, take quiz on Moodle. HW on Numbers, Sets. | ||

10 | Feb 24 | Proof by Contradiction. Relations & Functions Review. | re-read chapter 6 and Lecture 07, read chapter 17, take quiz on Moodle. | |

11 | Feb 26 | Graphs | read chapter 9, take quiz on Moodle. Examlet on Relations, Functions. | |

12 | Mar 3 | read chapter 10, take quiz on Moodle. | ||

13 | Mar 5 | Induction | read chapters 9, 10 & sections 11.1 to 11.5, take quiz on Moodle. HW on Functions, Graphs. | |

14 | Mar 10 | read chapter 11. take quiz on Moodle | ||

15 | Mar 12 | Recursive Definitions | read chapter 12, watch video clip, take quiz on Moodle HW on Graphs, Induction. | |

16 | Mar 17 | Trees | read sections 13.1 to 13.6. take quiz on Moodle. | |

17 | Mar 19 | read chapter 13. take quiz on Moodle. Examlet on Graphs, Induction. | ||

-- | Mar 24 | Spring break | ||

Mar 26 | ||||

18 | Mar 31 | Collections of sets | sections 18.1-18.2. take quiz on Moodle. | |

19 | Apr 2 | Combinations: counting sets | read chapter 18. take quiz on Moodle. Mid-term HW. | |

20 | Apr 7 | reread section 18.6. take quiz on Moodle. Examlet on Recursion, Trees. | ||

21 | Apr 9 | Big O-notation | read chapter 14 and sections 15.1-15.3. take quiz on Moodle. | |

22 | Apr 14 | Algorithms | read sections 15.4-15.6. take quiz on Moodle. | |

23 | Apr 16 | read chapter 15.7-15.9. take quiz on Moodle. HW on Collections, Combinations. | ||

24 | Apr 21 | read chapters 15 and 16. take quiz on Moodle. Examlet on Combinations, Big-O | ||

25 | Apr 23 | State Diagrams | read chapter 19, take quiz on Moodle. | |

26 | Apr 28 | finish reading chapter 19, sections 20.1-20.4. take quiz on Moodle. | ||

27 | Apr 30 | Countability, uncountability, uncomputability | read chapter 20. take quiz on Moodle. HW on Algorithms, State-Diagrams. | |

28 | May 5 | Uncomputability. Quick look-back. Wrap-up (+ ICES forms) | (no pre-lecture quiz) Examlet on Algorithms, State-Diagrams. |