Lectures related to Term Models for First-Order Logic

Predicate Logic: Quantifiers and Normal Forms

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Markov Chains: Applications and Coupled Chains

Covers Markov chains, coupled chains, and their applications, emphasizing the importance of irreducibility.

Hoare Logic: Strongest Postcondition and Weakest Precondition

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

Untitled

Predicate Logic: Quantifiers, CNF, DNF

Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.

Coq: Overview

Introduces Coq and focuses on proving the theorem and_comm step by step.

Predicate Calculus: Basics

Covers the basics of predicate calculus, including propositions, formulas, terms, and semantic evaluation.

Conformity in Normal Components

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

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.