Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Programming Thymio with VPL
Graph Chatbot
Related lectures (31)
Previous
Page 1 of 4
Next
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Logical Reasoning: Quiz Analysis
Analyzes a quiz on logical reasoning, discussing correct and incorrect answers.
Search Algorithms: Abductive Reasoning
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.
Uncertain Reasoning: Bayesian Networks
Explores uncertain reasoning, Bayesian networks, and stochastic resolution, emphasizing the importance of probabilistic logic and abduction.
Computer Vision: History Recap & Logistics
Provides an overview of computer vision history and logistics, focusing on neural networks and logical reasoning.
Counterexample to Induction Theorem
Explores a counterexample to the induction principle, demonstrating a property of natural numbers.
Search Algorithms: Abductive Reasoning
Covers search algorithms, focusing on abductive reasoning and heuristic search strategies.
Inductive Propositions: Understanding Evaluation in Coq
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
