Lectures related to Theorem Proving and Vampire

Propositional Logic: Inference Rules and Valid Arguments

Covers inference rules in propositional logic and common logical fallacies.

Introduces informal proofs and their practical applications in computer science and mathematics, emphasizing the importance of proving theorems through direct and indirect methods.

Introduction to Proofs

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.

Course Overview: Teaser on Course Contents

Offers an overview of propositional and predicate logic, sets, functions, relations, algorithms, Swiss cities, sorting tables, Covid infections, poker hands, and prime numbers.

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.