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
Case Analysis Rule and Propositional Resolution
Graph Chatbot
Related lectures (31)
Previous
Page 2 of 4
Next
Theorem Proving and Vampire
Explores theorem proving in first-order logic and the saturation-based approach, highlighting the Vampire theorem prover.
The Languages of Isabelle: Isar, ML, and Scala
Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.
Analysis IV: Measurable Sets and Properties
Covers the concept of outer measure and properties of measurable sets.
Theory of Computation: Decidability and Complexity
Delves into the theory of computation, covering decidability, complexity, P vs. NP, and reductions.
Proofs and Computations: A Journey Through Mathematical Theory
Explores historical mathematical proofs, decision problems, deductive systems, probabilistic and quantum proofs, and interactive proof systems.
Sequent Calculus: Basics and Applications
Covers the basics and applications of Sequent Calculus in Logic and Proof Theory, including Cut Elimination and practical proof analysis.
Untitled
What is a Formal Proof?
Covers the concept of formal proof systems, their structure, and soundness.
Predicate Logic: Quantifiers, CNF, DNF
Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
