• Sets I – (playlist - 36:49)
  • Lec 01 - 1 - Set Notation (15:03)
  • Lec 01 - 2 - Set Builder Notation (11:30)
  • Lec 01 - 3 - Cardinality (11:16)

• Sets II – (playlist - 59:54)
  • Lec 02 - 1 - Subsets (14:38)
  • Lec 02 - 2 - Union, Intersection, Compliment, and Difference (14:05)
  • Lec 02 - 3 - Disjoint Sets and Partitions (13:04)
  • Lec 02 - 4 - Power Sets, Pairs, and Cartesian Products (18:07)

• Logic I – (playlist - 1:00:02)
  • Lec 03 - 1 - Logical Notation and Truth Tables (18:44)
  • Lec 03 - 2 - Tautologies and Contradictions (7:28)
  • Lec 03 - 3 - XOR and Proof of Equivalency via Truth Tables (15:10)
  • Lec 03 - 4 - Logically Equivalent Forms (18:40)

• Logic II – (playlist - 40:37)
  • Lec 04 - 1 - Conditional Statements (12:21)
  • Lec 04 - 2 - Logical Equivalences for Implication (12:11)
  • Lec 04 - 3 - Contrapositive, Biconditional, and Necessary and Sufficient (16:05)

• Logic III – (playlist - 52:42)
  • Lec 05 - 1 - Predicates (8:35)
  • Lec 05 - 2 - Quantifiers (11:08)
  • Lec 05 - 3 - Reordering Quantifiers (10:06)
  • Lec 05 - 4 - More Quantifiers (22:53)

• Proofs I – (playlist - 1:03:22)
  • Lec 06 - 1 - Proofs and Definitions (16:13)
  • Lec 06 - 2 - Existence Proofs (13:37)
  • Lec 06 - 3 - Exhaustion and Generic Particular (21:29)
  • Lec 06 - 4 - Proof by Cases and Quotient Remainder Theorem (12:04)

• Proofs II – (playlist - 55:13)
  • Lec 07 - 1 - Proof by Contradiction (21:09)
  • Lec 07 - 2 - Infinite Primes (9:35)
  • Lec 07 - 3 - Irrationality of Root 2 (16:48)
  • Lec 07 - 4 - Pigeon Hole (7:41)

• Induction I – (playlist - 1:00:05)
  • Lec 08 - 1 - Arithmetic Sum (20:01)
  • Lec 08 - 2 - Induction Exercises (16:21)
  • Lec 08 - 3 - Geometric Sum (8:51)
  • Lec 08 - 4 - Induction and Recursion (3:38)
  • Lec 09 - 5 - More Exervises (11:14)

• Induction II – (playlist - 30:06)
  • Lec 09 - 1 - Strong Induction (13:40)
  • Lec 09 - 2 - Exercises in Strong Induction (8:07)
  • Lec 09 - 3 - Induction on Structures (8:19)

• Recurrences – (playlist - 1:27:56)
  • Lec 10 - 1 - Expanding Recurrences (8:22)
  • Lec 10 - 2 - Tower of Hanoi (8:39)
  • Lec 10 - 3 - Solving a Recurrence (20:30)
  • Lec 10 - 4 - Proving a Recurrence Solution Using Induction (10:39)
  • Lec 10 - 5 - Solving Tower of Hanoi (10:58)
  • Lec 10 - 6 - BONUS Extra Exercises (28:48)

• Big-O – (playlist - 1:18:20)
  • Lec 11 - 1 - Counting Function Steps (18:28)
  • Lec 11 - 2 - Big-O Notation (24:35)
  • Lec 11 - 3 - Big-O Classes (14:48)
  • Lec 11 - 4 Big-O Recursion (20:29)

• Functions I – (playlist - 52:52)
  • Lec 12 - 1 - Function Definitions (17:41)
  • Lec 12 - 2 - One-to-One (17:09)
  • Lec 12 - 3 - Onto (18:02)

• Functions II – (playlist - 1:06:58)
  • Lec 13 - 1 - Equality Cadinality (25:07)
  • Lec 13 - 2 - Countable Sets (21:27)
  • Lec 13 - 3 - Uncoutable Sets (20:24)

• Relations – (playlist - 55:12)
  • Lec 14 - 1 - Equivalence Relation (20:24)
  • Lec 14 - 2 - Proving Equivalence Relations (16:09)
  • Lec 14 - 3 - Antisymetry and Ordering (14:50)

• Modular Arithmetic – (playlist - 55:57)
  • Lec 15 - 1 - Modular Congruence (14:14)
  • Lec 15 - 2 - Modular Arithmetic (19:47)
  • Lec 15 - 3 - GCD and RSA (21:56)

(note for the vidoes below, I recored these in Spring 2020. They include pandemic humor and some guests)

• Prob & Counting I – (playlist - 56:45)
  • Lec 16 - 1 - Probabilities (15:18)
  • Lec 16 - 2 - Monty Hall Problem (10:31) (with special guest!)
  • Lec 16 - 3 - Multiplication Rule (30:56)

• Prob & Count II - (playlist - 1:38:59)
  • Lec 17 - 1 - Factorials Permutations (17:33)
  • Lec 17 - 2 - Additional Rule (20:05)
  • Lec 17 - 3 - Union Intersections (19:00)
  • Lec 17 - 4 - Combinations Poker Hands (42:21) )(Bonus content, with special guest!)

• Prob & Count III - (playlist - 1:58:26)
  • Lec 18 - 1 - Birthday Paradox (30:55) (with special guest!)
  • Lec 18 - 2 - Conditional Proability (42:54) (with special guest!)
  • Lec 18 - 3 - Bayes Rule (44:37)

• Graphs/Trees I - (playlist - 1:14:52)
  • Lec 19 - 1 - Graph Basics (19:59)
  • Lec 19 - 2 - Graph Degree (21:26)
  • Lec 19 - 3 - Circuits (33:27)

• Graphs/Trees II - (playlist - 42:22)
  • Lec 20 - 1 - Graph Isomorphism (14:04)
  • Lec 20 - 2 - Matrix Representations 28:18)

• Graphs/Trees III (playlist - 33:10)
  • Lec 21 - 1 - Tee Intro (33:10)

• Graph/Trees IV (playlist - 55:21)
  • Lec 22 - 1 - Rooted Trees (10:01)
  • Lec 22 - 2 - Binary Trees (45:20)

• Graph/Trees V (playlist - 18:57)
  • Lec 23 - 1 - Spanning Trees (18:57)