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
Logical Reasoning: Quiz Analysis
Graph Chatbot
Related lectures (32)
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.
Programming Thymio with VPL
MOOC: The Thymio robot as a tool for discovering digital science
Explores using VPL to program Thymio robots and addresses students' and teachers' challenges in programming.
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.
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.
Search Algorithms: Abductive Reasoning
Covers search algorithms, focusing on abductive reasoning and heuristic search strategies.
Proofs: Rules and Applications
Explores rules of inference, quantified statements, and proof methods in logic and mathematics.
George Boole: Logic and Computers
Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.
Recurrence: Induction
Covers the principle of induction for natural numbers and the importance of caution in its application.
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: Normal Forms and Applications
Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.
Propositional Logic: Inference Rules
Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.
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.
Origins of Religious Beliefs
Delves into the origins of religious beliefs, exploring psychological, developmental, and neuroscientific perspectives on faith.
Untitled
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Inference Rules in Propositional Logic
Covers inference rules in propositional logic and common logical fallacies.
Previous
Page 1 of 2
Next