# 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.
02Jan 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.
05Feb 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.
09Feb 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.
12Mar 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.
14Mar 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.
17Mar 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.
20Apr 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.
23Apr 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.