Logic Courses
Simons Institute via YouTube Three Counterintuitive Math Puzzles - Explained
Zach Star via YouTube Principles of Mathematical Thinking for Everyday Life
TEDx via YouTube How Mathematics Influences Our Everyday Life - with Eugenia Cheng
The Royal Institution via YouTube The Value of Errors in Proofs
Fields Institute via YouTube Abduction Prover in Isabelle/HOL - Automated Theorem Proving and Conjecturing
Hausdorff Center for Mathematics via YouTube Translating HOL-Light Proofs to Coq
Hausdorff Center for Mathematics via YouTube Unlocking the Hidden Science of Reasoning - Applying Logic to Improve Personal and Professional Lives
TEDx via YouTube Programming With Python
Cabrillo College via California Community Colleges System Explorations in Mathematics
Cabrillo College via California Community Colleges System