Lectures related to Conjunctive normal form

Covers the transformation of quantifier free formulas into equisatisfiable formulas and reduction to solve modulo arithmetic.

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

Explores Hamiltonian and Lagrangian formulations, canonical variables, Lie operators, and their applications in beam dynamics and nonlinear systems.

Covers the basics of propositional logic and explores logical equivalences and proof techniques.

Explores reversibility in Markov chains and its impact on the stationary distribution, highlighting the complexity of non-reversible chains.

Covers solutions of differential equations with initial conditions and boundedness concepts.