Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Programming Thymio with VPL
Graph Chatbot
Related lectures (34)
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.
George Boole: Logic and Computers
Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.
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.
Counterexample to Induction Theorem
MOOC: Analysis I (part 1): Prelude, basic concepts, real numbers
MOOC: Analysis I
Explores a counterexample to the induction principle, demonstrating a property of natural numbers.
Uncertain Reasoning: Bayesian Networks
Explores uncertain reasoning, Bayesian networks, and stochastic resolution, emphasizing the importance of probabilistic logic and abduction.
Search Algorithms: Abductive Reasoning
Covers search algorithms, focusing on abductive reasoning and heuristic search strategies.
Linear Algebra: Reciprocity and Equivalence
Explores reciprocity, equivalence, and proof techniques in linear algebra, emphasizing logical reasoning and mathematical rigor.
Rule Systems, Simulations, and Parallel Worlds
Delves into rule systems, simulations, and parallel worlds, exploring Prolog, backtracking algorithms, logic complexity, the Game of Life simulation, and the concept of Simulats.
Propositional Logic: Inference Rules and Valid Arguments
Covers inference rules in propositional logic and common logical fallacies.
Logic in Mathematics: Properties and Propositions
Explores the significance of logic in mathematics and science through properties and propositions.
Propositional Logic: Inference Rules
Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.
Origins of Religious Beliefs
Delves into the origins of religious beliefs, exploring psychological, developmental, and neuroscientific perspectives on faith.
Propositional Logic: Normal Forms and Applications
Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.
Mathematical Induction: Principle and Example
MOOC: Analysis I (part 1): Prelude, basic concepts, real numbers
MOOC: Analysis I
Introduces the principle of mathematical induction through an example.
Recurrence: Induction
Covers the principle of induction for natural numbers and the importance of caution in its application.
Search Algorithms: Abductive Reasoning
Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.
Untitled
Verifying Programs with Stainless: How Stainless Works
Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.
Programming with VPL: Thymio Robot
MOOC: The Thymio robot as a tool for discovering digital science
Covers programming the Thymio robot using Visual Programming Language.
Previous
Page 1 of 2
Next
