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
Case Analysis Rule and Propositional Resolution
Graph Chatbot
Related lectures (31)
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, Skolemization, resolution, and normal form transformations.
Propositional Logic: Inference Rules
Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.
Propositional Resolution
Explores completeness in propositional logic, resolution on clauses, conjunctive form, unit resolution, SAT solvers, and proof generation.
Soundness and Completeness of a Propositional Proof System
Explores the importance of soundness and completeness in a propositional proof system.
Formal Proofs: Checking Invariants and Bounded Model Checking
Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.
Finite Systems Expressed with Formulas
Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, and resolution for proving properties.
Untitled
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.
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.
Bases in Known Dimension Space
MOOC: Linear Algebra (Part 1)
Discusses bases in vector spaces of known dimension and how to determine if a given set is a base.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Quantum Delegation Protocols
Covers classical single qubit Hamiltonian verification and quantum delegation protocols.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic, resolution proofs, Skolem functions, and satisfiability checking in mathematics and program verification.
Previous
Page 1 of 2
Next
