| Date | Topic | Slides | Notes |
|---|---|---|---|
| Aug. 30, 2022 | Intro (Statements) (Cliff) | Intro (Statements) | |
| Aug. 30, 2022 | Paul Kline Syllabus slides (Paul) | Paul Kline Syllabus slides | |
| Aug. 30, 2022 | Paul Kline Statements Intro (Paul) | Paul Kline Statements Intro | |
| Sept. 1, 2022 | Truth Tables and Equivalence (Cliff) | Truth Tables and Equivalence | |
| Sept. 1, 2022 | 03 250_ Precedence Truth Tables Implications (Paul) | 03 250_ Precedence Truth Tables Implications | |
| Sept. 6, 2022 | 04 250_Conditionals2_LawsOfEquivalence (Paul) | 04 250_Conditionals2_LawsOfEquivalence | |
| Sept. 6, 2022 | Equivalence (Cliff) | Equivalence | |
| Sept. 8, 2022 | 05 inference & arguments (Paul) | 05 inference & arguments | |
| Sept. 8, 2022 | Arguments (Cliff) | Arguments | |
| Sept. 13, 2022 | 06 Rules of Inf. Circuits (Paul) | 06 Rules of Inf. Circuits | |
| Sept. 13, 2022 | Circuits (Cliff) | Circuits | |
| Sept. 15, 2022 | Quantifiers (Cliff) | Quantifiers | |
| Sept. 15, 2022 | 07 sets and quant. 9_15_22 (Paul) | 07 sets and quant. 9_15_22 | |
| Sept. 20, 2022 | 08 NumberTheory 9_20_22 (Paul) | 08 NumberTheory 9_20_22 | |
| Sept. 20, 2022 | Numbers (Cliff) | Numbers | |
| Sept. 22, 2022 | Proofs (Cliff) | Proofs | |
| Sept. 29, 2022 | Sets, Relations, Functions (Cliff) | Sets, Relations, Functions | |
| Oct. 18, 2022 | Set Proofs (Cliff) | Set Proofs | |
| Oct. 20, 2022 | Set and Countability (Cliff) | Set and Countability | |
| Oct. 25, 2022 | Weak Induction (Cliff) | Weak Induction | |
| Oct. 27, 2022 | Strong Induction (Cliff) | Strong Induction | |
| Nov. 1, 2022 | Structural Induction (Cliff) | Structural Induction | |
| Nov. 8, 2022 | Counting I (Cliff) | Counting I | |
| Nov. 10, 2022 | Counting II (Cliff) | Counting II | |
| Nov. 15, 2022 | Prob I (Cliff) | Prob I | |
| Nov. 29, 2022 | Prob II (Cliff) | Prob II | |
| Dec. 1, 2022 | Bayes (Cliff) | Bayes | |
| Dec. 6, 2022 | Algo Intro (Cliff) | Algo Intro | |