Lectures related to Linear Algebra: Properties and Propositions

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

Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Covers Presburger arithmetic, quantifier elimination, and the transformation of formulas into disjunctive normal form.

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

Covers predicate logic basics, quantifiers, equivalences, and natural language translation examples.

Explores nested quantifiers, order importance, and translation into logic.