Concept
Admissible rule
Related lectures (25)
Proofs: Rules and Applications
Explores rules of inference, quantified statements, and proof methods in logic and mathematics.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, Skolemization, resolution, and normal form transformations.
Predicate Logic: Translating Natural Language into Logic
Covers the translation of natural language sentences into predicate logic and the importance of quantifier order.
Iterative Rounding Heuristic
Explores optimal integer programming, Gomory cuts, and an iterative rounding heuristic.
Sequent Calculus: Basics and Applications
Covers the basics and applications of Sequent Calculus in Logic and Proof Theory, including Cut Elimination and practical proof analysis.
Steenrod Squares
Covers the concept of Steenrod Squares and their applications in stable cohomology operations.