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 slideshow print
01 Jan 22 Logic watch video 1 & video 2, read 2.1-2.10, take quiz on Moodle. slideshow print
02Jan 27 watch video 3, read 2.11 - 2.17, take quiz on Moodle. slideshow print
03 Jan 29 Proofs read chapter 3, take quiz on Moodle. Examlet on Logic. slideshow print
04 Feb 3 Numbers read 4.1 - 4.9, watch video clip, take quiz on Moodle. slideshow print
05Feb 5 read chapter 4, take quiz on Moodle. HW on Logic, Proofs. slideshow print
06 Feb 10 Sets read chapter 5, take quiz on Moodle. slideshow print
07 Feb 12 Relations read chapter 6, take quiz on Moodle. Examlet on Numbers. slideshow print
08 Feb 17 Functions read chapter 7, take quiz on Moodle. slideshow print
09Feb 19 read chapter 8, take quiz on Moodle. HW on Numbers, Sets. slideshow print
10 Feb 24 Proof by Contradiction. Relations & Functions Review. re-read chapter 6 and Lecture 07, read chapter 17, take quiz on Moodle. slideshow print
11 Feb 26 Graphs read chapter 9, take quiz on Moodle. Examlet on Relations, Functions. slideshow print
12Mar 3 read chapter 10, take quiz on Moodle. slideshow print
13 Mar 5 Induction read chapters 9, 10 & sections 11.1 to 11.5, take quiz on Moodle. HW on Functions, Graphs. slideshow print
14Mar 10 read chapter 11. take quiz on Moodle slideshow print
15 Mar 12 Recursive Definitions read chapter 12, watch video clip, take quiz on Moodle HW on Graphs, Induction. slideshow print
16 Mar 17 Trees read sections 13.1 to 13.6. take quiz on Moodle. slideshow print
17Mar 19 read chapter 13. take quiz on Moodle. Examlet on Graphs, Induction. slideshow print
-- Mar 24 Spring break
Mar 26
18 Mar 31 Collections of sets sections 18.1-18.2. take quiz on Moodle. slideshow print
19 Apr 2 Combinations: counting sets read chapter 18. take quiz on Moodle. Mid-term HW. slideshow print
20Apr 7 reread section 18.6. take quiz on Moodle. Examlet on Recursion, Trees. slideshow print
21 Apr 9 Big O-notation read chapter 14 and sections 15.1-15.3. take quiz on Moodle. slideshow print
22 Apr 14 Algorithms read sections 15.4-15.6. take quiz on Moodle. slideshow print
23Apr 16 read chapter 15.7-15.9. take quiz on Moodle. HW on Collections, Combinations. slideshow print
24 Apr 21 read chapters 15 and 16. take quiz on Moodle. Examlet on Combinations, Big-O slideshow print
25 Apr 23 State Diagrams read chapter 19, take quiz on Moodle. slideshow print
26 Apr 28 finish reading chapter 19, sections 20.1-20.4. take quiz on Moodle. slideshow print
27 Apr 30 Countability, uncountability, uncomputability read chapter 20. take quiz on Moodle. HW on Algorithms, State-Diagrams. slideshow print
28 May 5 Uncomputability. Quick look-back.
Wrap-up (+ ICES forms)
(no pre-lecture quiz) Examlet on Algorithms, State-Diagrams. slideshow print