First-order logic

Related lectures (32)

Page 1 of 4

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

Covers first-order logic syntax, semantics, and resolution for proving properties.

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

Explores term models, substructures, small model theorems, and the Herbrand model in first-order logic.

Covers the basics of CMOS gates and Logic Systems, highlighting the advantages of CMOS over TTL gates.

Explores the representation of logic circuits and place-value notation for natural numbers.

Explores quantifiers with finite domains, uniqueness quantifier, composite statements, variable binding, and validity in logic.

Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.

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

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