Lectures related to Sequent Calculus with Equality

Covers the basics and applications of Sequent Calculus in Logic and Proof Theory, including Cut Elimination and practical proof analysis.

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

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

Covers the basics of predicate calculus, including propositions, formulas, terms, and semantic evaluation.

Explores finite transition systems, propositional logic, truth interpretation, satisfiability, and boolean function representation with circuits.

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

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

Covers the LISA proof assistant's codebase organization, kernel package, FOL formalization, and proof package.

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Explains constructing DNF and CNF in propositional logic and their complexity.

Covers Exercise 4 from Series 20, focusing on mathematical problem-solving strategies.

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, showing how to construct them and discussing their complexity.

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

Covers translating natural language to propositional logic and proving tautologies.

Covers Canonical Correlation Analysis, a method to find relationships between two sets of variables.

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

Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.