Lectures related to Second-order logic

Second Order Logic: WS1S and HOL

Explores Second Order Logic, WS1S, HOL, decision procedures, atomic and composite formulas, and the combination of WS1S with MONA in HOL.

Predicate Logic: Quantifiers and Equivalences

Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.

Implementation Problems Analysis: Tools and Stakeholder Engagement

Covers tools for analyzing implementation problems and stakeholder engagement in solving them.

Predicate Logic: Quantifiers and Normal Forms

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Predicate Logic: Quiz Answers Analysis

Analyzes quiz answers on predicate logic, covering quantifiers, implications, and negations.

Predicate Logic: Quantifiers and Statements

Covers the basics of predicate logic, including quantifiers and statements.

Automating First-Order Logic Proofs Using Resolution

Covers first-order logic syntax, semantics, and resolution for proving properties.

Predicate Logic: More on Quantifiers

Explores quantifiers with finite domains, uniqueness quantifier, composite statements, variable binding, and validity in logic.

Predicate Logic: Basics and Applications

Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.

Predicate Logic: Summary of Week 2

Covers the concept of universe of discourse and truth values in predicate logic.

Proofs: Logical Equivalence and Inference Rules

Covers the concept of logical equivalence in proofs and inference rules.

Logic Programming: Examples and Rules

Demonstrates logic programming with examples and rules, showcasing a tool for practical application.

Mathgraph Theorem Prover

Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.

Advanced-analysis-ii

Explores the uniqueness of solutions to differential equations, emphasizing global solutions and the linearity of second-order scalar equations.

Advanced Analysis II: Review of Calculations and Limits

Covers a review of calculations and limits, emphasizing the importance of function composition and second-order calculations.

Theorem Proving and Vampire

Explores theorem proving in first-order logic and the saturation-based approach, highlighting the Vampire theorem prover.

Automating First-Order Logic Proofs Using Resolution

Covers first-order logic, resolution proofs, Skolem functions, and satisfiability checking in mathematics and program verification.

Predicate Logic: More on Quantifiers

Covers quantifiers with finite domains, uniqueness, composite statements, variable binding, translating to logic, and validity.

Course Overview: Teaser on Course Contents

Offers an overview of propositional and predicate logic, sets, functions, relations, algorithms, Swiss cities, sorting tables, Covid infections, poker hands, and prime numbers.

Predicate Logic: Logical Equivalences and Quantifiers

Explores logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.