Sequent Calculus: Basics and Applications

Related lectures (28)

Page 1 of 3

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

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Explores the importance of soundness and completeness in a propositional proof system.

Covers the basics of propositional logic, its history, language, and computing applications.

Explores rules of inference, quantified statements, and proof methods in logic and mathematics.

Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.