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
Rule Systems, Simulations, and Parallel Worlds
Graph Chatbot
Related lectures (34)
Predicate Logic: Basics and Applications
Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.
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.
Induction for SMT Solvers
Explores techniques for induction in SMT solvers, focusing on CVC4's implementation and competitive performance with other provers.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Uncertain Reasoning: Bayesian Networks
Explores uncertain reasoning, Bayesian networks, and stochastic resolution, emphasizing the importance of probabilistic logic and abduction.
Constraint Satisfaction: Formulation and Algorithms
Covers the formulation of constraint satisfaction problems and systematic algorithms for solving them efficiently.
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 and Valid Arguments
Covers inference rules in propositional logic and common logical fallacies.
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.
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.
Verifying Programs with Stainless: How Stainless Works
Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.
Molecular dynamics under constraints
Explores molecular dynamics simulations under holonomic constraints, focusing on numerical integration and algorithm formulation.
George Boole: Logic and Computers
Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.
Logical Reasoning: Quiz Analysis
Analyzes a quiz on logical reasoning, discussing correct and incorrect answers.
Automated Planning: Modeling and Constraints
Explores automated planning, constraints, and applications in diverse domains, emphasizing the challenges and efficiency of solving planning problems.
Extremum of a Function: Constraints
Explores extremum of a function under constraints and finding candidate points in practice.
Simulation: Control of Dynamic Systems
Explores simulation of common structures and control of dynamic systems through friction and elasticity constants.
Quantum Machine Learning: Theory and Applications
Log in to Mediaspace to watch this video
Explores quantum machine learning, representations of molecules, kernel regression, and the interplay between physics and machine learning.
Discrete Mathematics: Logic, Structures, Algorithms
Log in to Mediaspace to watch this video
Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.
Previous
Page 1 of 2
Next
