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. | |