Lectures related to Sequent Calculus with Equality

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.