Lectures related to Sequent Calculus: Basics and Applications

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.

Explains the design and synthesis of Finite State Machines in logic systems.

Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.

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

Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.

Covers logic, truth tables, and mathematical propositions, demonstrating how to analyze logical statements.

Explores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.