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
Grant Proposal Writing: Tips from Martin Gijs
Graph Chatbot
Related lectures (30)
Previous
Page 1 of 3
Next
Uncertain Reasoning: Bayesian Networks
Explores uncertain reasoning, Bayesian networks, and stochastic resolution, emphasizing the importance of probabilistic logic and abduction.
Search Algorithms: Abductive Reasoning
Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.
Search Algorithms: Abductive Reasoning
Covers search algorithms, focusing on abductive reasoning and heuristic search strategies.
George Boole: Logic and Computers
Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Propositional Logic: Inference Rules and Valid Arguments
Covers inference rules in propositional logic and common logical fallacies.
Programming Thymio with VPL
Explores using VPL to program Thymio robots and addresses students' and teachers' challenges in programming.
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.
Logic in Mathematics: Properties and Propositions
Explores the significance of logic in mathematics and science through properties and propositions.
Propositional Logic: Normal Forms and Applications
Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.
