Slides

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