Theorem Proving and Vampire

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (35)

Introduces informal proofs, explores practical applications, and explains theorem proofs using direct and indirect methods.

Valid Arguments

Explains how to determine and build valid arguments in propositional logic.

Propositional Resolution

Explores completeness in propositional logic, resolution on clauses, conjunctive form, unit resolution, SAT solvers, and proof generation.

Hoare Logic: Strongest Postcondition and Weakest Precondition

Covers Hoare logic, strongest postcondition, and weakest precondition for simplifying proofs in imperative programming.

Inference Rules in Propositional Logic

Covers inference rules in propositional logic and common logical fallacies.

Mathgraph Theorem Prover Log in to Mediaspace to watch this video

Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.

Learning-aided Program Reasoning Log in to Mediaspace to watch this video

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.

Implicit Functions Theorem Log in to Mediaspace to watch this video

Covers the Implicit Functions Theorem and its applications in finding extremums under constraints.

Special Families of Models Log in to Mediaspace to watch this video

Explores completeness, minimal sufficiency, and special statistical models, focusing on exponential and transformation families.

Sparsest Cut: (log n) Approximation Algorithm Log in to Mediaspace to watch this video

Covers the (log n) approximation algorithm for the sparsest cut problem, presenting the mathematical theorems and proofs.

Untitled Log in to Mediaspace to watch this video

Conformity in Normal Components Log in to Mediaspace to watch this video

Explores conformity in normal components across edges and the importance of continuity for generic components.

Curve Integrals: Gauss/Green Theorem Log in to Mediaspace to watch this video

Explores the application of the Gauss/Green theorem to calculate curve integrals along simple closed curves.

Fundamental Solutions Log in to Mediaspace to watch this video

Explores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.

Graph Sketching: Connected Components Log in to Mediaspace to watch this video

Covers the concept of graph sketching with a focus on connected components.

Page 2 of 2