Lectures related to Variational Calculus: Quasicovexity

Covers the analytical expression of rotations in different coordinate systems.

Covers fundamental topics in calculus of variations, including minimizers and the Euler-Lagrange equation.

Covers variational methods, equilibrium shape of a bent beam, Euler's Elastica, and numerical and analytical methods.

Covers propositions indexed by vectors, proof by induction, and Cartesian products of sets.

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

Covers propositions, logical connectives, truth tables, and propositional logic language.

Covers the calculation of the vector product in a given space using a specific coordinate system.

Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.