Home

Welcome to the website!

Lectures

  1. Formal Methods for AI and Cyber Security
  2. Introduction to Logic and Automatic Verification
  3. Introduction to Logical Formalisms and Semantics
  4. Computational Logic: Mechanization and Complexity
  5. Introduction to Logic: Key Concepts and Decision Problems
  6. Propositional Logic: Syntax, Semantics, and Complexity
  7. Propositional Logic: Tableau Method and Reachability Problem
  8. Quantified Boolean Formulas (QBF)
  9. Lecture Notes: Quantified Boolean Formulas (QBF) and First-Order Logic
  10. First-Order Logic: Semantics and Examples
  11. First-Order Logic Exercises
  12. Lecture Notes: First-Order Logic - Model Checking, Satisfiability, and the Domino Problem
  13. Applications of First-Order Logic and First-Order Theories
  14. Logical Theories and Reductions
  15. Introduction to Automata Theory