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