Lectures related to Introduction to SMT Solving

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.

Explores predicate logic, focusing on domains, quantifiers, and surprising insights on empty domains.

Covers the basics of propositional logic, its history, language, and computing applications.

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Covers the calculation of propositions in predicate logic with a focus on logical connectives.

Explains constructing DNF and CNF in propositional logic and their complexity.

Explains variables, predicates, propositional functions, and quantifiers in predicate logic.