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
Logical Reasoning: Quiz Analysis
Graph Chatbot
Related lectures (31)
Previous
Page 1 of 4
Next
Propositional Logic: Inference Rules and Valid Arguments
Covers inference rules in propositional logic and common logical fallacies.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
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.
Inductive Propositions: Reasoning and Evaluation Techniques
Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.
Programming Thymio with VPL
Explores using VPL to program Thymio robots and addresses students' and teachers' challenges in programming.
Counterexample to Induction Theorem
Explores a counterexample to the induction principle, demonstrating a property of natural numbers.
Search Algorithms: Abductive Reasoning
Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.
Linear Algebra: Reciprocity and Equivalence
Explores reciprocity, equivalence, and proof techniques in linear algebra, emphasizing logical reasoning and mathematical rigor.
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.
