Overview

Professor Prof. Tobias Nipkow
Time and Place TBA
First Lecture TBA
Language English
TUMonline IN2049
Discussion Forum TBA
Tutorial Organisor Kevin Kappelmann

Questions regarding the lecture and exercises can be discussed on TBA.

Content

Logic is the art of reasoning. It plays an important role in many disciplines, including Philosophy and Mathematics, but it is particularly central to Computer Science and sometimes referred to as the calculus of Computer Science. In this course, we emphasise these computational aspects of logic. More specifically:

  1. We learn how to perform proofs in a deductive system and how to prove the soundness and completeness of a system with respect to a semantics.
  2. We get to know the limitations of first-logic and the relationship between logic and computability.
  3. We learn how to formalise problems in logic and how to solve them algorithmically using (semi-)decision procedures like resolution.

Lecture Material

TBD

Literature

  1. Uwe Schöning. Logik für Informatiker (English: Logic for Computer Scientists).
  2. A. Troelstra and H. Schwichtenberg. Basic Proof Theory.
  3. Jean Gallier. Logic for Computer Science.
  4. John Harrison. Handbook of Practical Logic and Automated Reasoning.
  5. Melvin Fitting. First-Order Logic and Automated Theorem Proving.
  6. Herbert Enderton. A Mathematical Introduction to Logic.
  7. Ebbinghaus, Flum, Thomas. Einführung in die mathematische Logik (English: Mathematical Logic).