Lectures related to Term Models for First-Order Logic

Explores fundamental groups, homotopy classes, and coverings in connected manifolds.

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

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Covers the concept of logical equivalence in proofs and inference rules.

Explores the application of the Gauss/Green theorem to calculate curve integrals along simple closed curves.

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Covers the application of Cauchy equations and integral decomposition, addressing questions related to holomorphic functions and Jacobian matrices.

Explores the Intermediate Values Theorem for continuous functions on closed intervals.