Podcast: link
(Video) Example translation to predicate logic
(Video) Set operations: Definitions and Venn diagrams
(Video) Motivation for proofs about primes
(Video) Examples for proof strategies: Universal conditional statement
(Video) Comparing induction strategies
(Video) Mathematical induction strategy
(Video) Mathematical induction example
(Video) Functions for cardinality
(Video) All RNA strands and all Linked Lists: countably infinite
(Video) Partial orders and Hasse Diagrams
(Video) Diffie-Hellman and cryptography
(Video) Modular Exponentiation
(Video) Week 9 Discussion Zoom recording