Propositional Logic Courses
University of Leeds via Coursera The Essence of Testing
Scala Days Conferences via YouTube Trees for Logic and Parsing in C++
CppNow via YouTube Aristotle's Syllogisms Revisited with the Algebra of Boole - MathFoundations 280
Insights into Mathematics via YouTube Inference Rules via the Algebra of Boole - MathFoundations 275
Insights into Mathematics via YouTube An Introduction to Logic for Computer Science
University of Leeds via FutureLearn Automated Functional Synthesis: An Ideal Meeting Ground for Symbolic Reasoning and Machine Learning
Simons Institute via YouTube Symbolic Logic
Cabrillo College via California Community Colleges System Symbolic Logic
Chaffey College via California Community Colleges System Introduction to Logic
Mt. San Antonio College via California Community Colleges System