Logic

Prof. Tobias Nipkow, Sommersemester 2017

News

  • Website created

Excercises

Homework Bonus

TBD

Submission

Typically before the tutorial in the week after (see sheet). Submission at the start of the tutorial, to the tutor's office or to the tutor's email address.

Material

TBD

Contents

The course assumes that you have had a basic introduction to logic already and are familiar with the following topics: syntax and semantics of both propositional and first-order logic; disjunctive and conjunctive normal forms; basic equivalences of propositional and first-order logic. These topics will only be refreshed briefly at the beginning of the course.

The main topics of the course:

  • Proof theory: sequent calculus, natural deduction, resolution; their soundness and completeness; translations between proof systems.
  • Meta-theory of first order logic: compactness, model theoy, undecidability, incompleteness of arithmetic.
  • Decision procedures for fragments of logic and arithmetic.

Slides

TBD

Literature