Week 1 : Jan 14
• Course introduction (pdf)
Propositional logic (pdf)
Sections 1.1-1.2 in zybooks
More propositional logic (pdf)
Sections 1.3-1.5 in zybooks
Week 2 : Jan 21
• Predicate logic (pdf)
Logical inference (pdf)
Recitation
Assignment
Zybooks Chapter 1 reading due Jan. 28
Week 3 : Jan 28
• Proofs (pdf)
More proofs (pdf)
Recitation
Assignment
Zybooks Chapter 2 reading due Feb. 4; Canvas quiz: Propositional Logic due Feb. 2
Week 4 : Feb 4
Week 5 : Feb 11
• Sets and tuples (continued); Sequences (pdf)
Functions (pdf)
Jupyter notebook on sets and tuples
Recitation
Assignment
PA1: truth tables and Canvas: loop invariants and sets 1 and 2 (3 quizzes)
Week 6 : Feb 18
• Practice with Proofs (pdf)
Mid Term Test 1: material up to and including week 5: Functions; Friday in class
Recitation
Assignment
PA1 due and Canvas: functions (due Feb 28)
Week 7 : Feb 25
Week 8 : Mar 4
• Recursive structures and structural induction (pdf)
Zybooks sections 6.9-6.10
Counting: the product and sum rules (pdf)
Zybooks 7.1-7.2
Counting: the bijection rule (pdf)
Zybooks 7.3
Recitation
Assignment
Written assignment 1: Induction due Friday in class; PA2: Loop Invariants due Mar 7
Week 9 : Mar 11
• SPRING BREAK
Week 10 : Mar 18
• Permutations and combinations (pdf)
zybooks 7.4-7.6
Recitation
Assignment
Notice: new Canvas Quizzes and Zybook Reading assignments
Week 11 : Mar 25
• Permutations (cont)
The inclusion exclusion and pigenhole principles (pdf)
zybooks 7.9-7.10
big O Analysis (pdf)
Recitation
Assignment
WA2: Counting due Apr 2 ; PA3: Counting due Apr 4
Week 12 : Apr 1
• Midterm Test 2: Friday April 6. Material: Up to lecture 18 Inclusion Exclusion (pdf)
Recitation
Mid Term 2 preparation
Week 13 : Apr 8
• O Practice OoM
relations (pdf)
directed graphs (pdf)
Class cancelled on Friday; visit Future Visions Friday afternoon in the LSC Theater
there is a canvas bonus quiz on Future Visions
Recitation
Assignment
Week 14 : Apr 15
• Partial orders and directed graphs (pdf)
Graphs (chapter 10 in zybooks) (pdf)
Assignment
Zybooks Chapters 9; 10; 11: Relations; Graphs; Trees
Recitation
jupyter big_O
Week 15 : Apr 22
Week 16 : Apr 29
• Fun with Graphs (pdf)
worksheet (pdf)
Recitation