| Mon | Wed | Fri | Readings/Assignments/Recitations | |
|---|---|---|---|---|
| 1/30
Lec 01: Course Introduction slides |
2/1
Lec 02: Propositional Logic slides |
2/3
Lec 03: Propositional Logic slides |
Chapters 1.1, 1.2 | |
| 2/6
Lec 04: Logical Equivalence slides |
2/8
Lec 05: Logical Equivalence slides |
2/10
Lec 06: Logical Equivalence/Predicates and Quantifiers equivalence slides predicate slides |
Chapters 1.3, 1.4 Recitation Week 1 [slides] HW 1 assigned. Due 2/19/23 @ 11:59PM [description, key/rubric] |
|
| 2/13
Lec 07: Predicates and Quantifiers slides |
2/15
Lec 08: Predicates and Quantifiers slides |
2/17
Lec 09: Predicates and Quantifiers slides |
Recitation Week 2 [slides] HW 1 due 2/19/23 @ 11:59PM |
|
| 2/20
Lec 10: Logical Reasoning and Proof Methods predicate slides reasoning slides |
2/22
Lec 11: Logical Reasoning and Proof Methods slides |
2/24
Lec 12: Logical Reasoning and Proof Methods slides |
Recitation Week 3 [slides] |
|
| 2/27
Lec 13: Sets slides |
3/1
Lec 14: Sets slides |
3/3
Lec 15: Sets slides |
Recitation Week 4 [slides] HW 2 assigned. Due 3/12/23 @ 11:59PM [description, key/rubric] |
|
| 3/6
Lec 16: Midterm Review slides |
3/8
Midterm Exam |
3/10
Lec 17: Sets slides |
Midterm Answer Keys [v1, v2] HW 2 due 3/12/23 @ 11:59PM | |
| 3/13
Lec 18: Relations and Functions slides |
3/15
Lec 19: Relations and Functions slides |
3/17
Lec 20: Relations and Functions slides |
Recitation Week 5 [slides] |
|
| 3/20-3/24
Spring Break No Class |
HW 3 assigned. Due 4/9/23 @ 11:59PM [description,key] | |||
| 3/27
Lec 21: Relations and Functions slides |
3/29
Lec 22: Relations and Functions slides |
3/31
Lec 23: Sequences, Summations, and Induction slides |
Recitation Week 6 [slides] |
|
| 4/3
Lec 24: Recurrence Relations and Induction slides |
4/5
Lec 25: Recurrence Relations and Induction slides |
4/7
Lec 26: Recurrence Relations and Induction Induction slides |
Recitation Week 7 [slides] HW 3 due 4/9/23 @ 11:59PM |
|
| 4/10
Lec 27: Counting Methods slides |
4/12
Lec 28: Counting Methods slides |
4/14
Lec 29: Counting Methods slides |
Recitation Week 8 [slides] HW 4 assigned. Due 4/23/23 @ 11:59PM [description,key] |
|
| 4/17
Lec 30: Graphs slides |
4/19
Lec 31: Graphs slides |
4/21
Lec 32: Graphs slides |
Recitation Week 9 [slides] HW 4 due 4/23/23 @ 11:59PM |
|
| 4/24
Lec 33: Graphs slides |
4/26
Lec 34: Graphs slides |
4/28
Lec 35: Graphs slides |
Recitation Week 10 [slides] HW 5 assigned. Due 5/10/23 @ 11:59PM [description, key] |
|
| 5/1
Lec 36: Graphs slides |
5/3
Lec 37: Finite Automata and Regular Expressions slides |
5/5
Lec 38: Finite Automata and Regular Expressions slides |
Recitation Week 11 [slides] |
|
| 5/8
Lec 39: Finite Automata and Regular Expressions slides |
5/10
Lec 40: Wrap-Up and Review slides |
5/12
Lec 41: Wrap-Up and Review slides |
HW 5 due 5/10/23 @ 11:59PM Final Answer Keys [v1, v2] |
|