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
Induction for SMT Solvers
Graph Chatbot
Related lectures (31)
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.
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.
Recurrence: Induction
Covers the principle of induction for natural numbers and the importance of caution in its application.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
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.
Search Algorithms: Abductive Reasoning
Covers search algorithms, focusing on abductive reasoning and heuristic search strategies.
Verifying Programs with Stainless: How Stainless Works
Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.
Uncertain Reasoning: Bayesian Networks
Explores uncertain reasoning, Bayesian networks, and stochastic resolution, emphasizing the importance of probabilistic logic and abduction.
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.
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.
Beliefs: Definition and Mechanisms
Delves into the definition of beliefs, the influence on behavior, classification, and the relationship with science.
Presburger Arithmetic and Quantifier Elimination
Covers Presburger arithmetic, quantifier elimination, and the transformation of formulas into disjunctive normal form.
Untitled
Learning Sciences Concepts
Explores cognitive load, metacognition, learning environments, and inductive reasoning, with examples of exam questions and the city of Godthåb.
Logical Reasoning: Quiz Analysis
Analyzes a quiz on logical reasoning, discussing correct and incorrect answers.
Propositional Logic: Inference Rules
Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.
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.
George Boole: Logic and Computers
Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.
Real Estate Law: Exam Review and Legal Principles
Focuses on resolving real estate law exam questions and legal principles for effective exam preparation.
Previous
Page 1 of 2
Next
