Supplemental Videos

Podcast from this quarter: link

(Video) Course Intro

(Video) CNF and DNF overview

(Video) Example translation to predicate logic

(Video) Set equality

(Video) Subset inclusion

(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) Diagonalization

(Video) Partial orders and Hasse Diagrams

(Video) Diffie-Hellman and cryptography

(Video) Modular Exponentiation

(Video) Course Intro

(Video) CNF and DNF overview

(Video) Example translation to predicate logic

(Video) Set equality

(Video) Subset inclusion

(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) Diagonalization

(Video) Partial orders and Hasse Diagrams

(Video) Diffie-Hellman and cryptography

(Video) Modular Exponentiation