Programming Thymio with VPL | EPFL Graph Search

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Analyzes a quiz on logical reasoning, discussing correct and incorrect answers.

Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.

Ordinary Differential Equations: Definitions and Methods

Explores ordinary differential equations, proof methods, and historical examples from Euclid, emphasizing logical reasoning and step-by-step derivations.

George Boole: Logic and Computers

Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.