Type and Content

Logik ist eine wesentliche Grundlage vieler Bereiche der Informatik, z.B. der Spezifikation und Verifikation von Programmen, der Datenbankanfragesprachen, der Wissensrepräsentation und Inferenz in der KI sowie der logische Programmierung. In diesem Modul behandeln wir die klassische Aussagen- und Prädikatenlogik und geben eine Einführung in die modale und temporale Logik, sowie deren Anwendungen.

• Michael R. A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2.Aufl., 2004
• Achim Jung: Logik. Kapitel 1 in: P. Rechenberg und G. Pomberger (Hrg): Informatik-Handbuch, 3. Aufl. Hanser 2002
• Dirk van Dalen: Logic and Structure. 4th edition.Springer 2004
• Uwe Schöning: Logic for Computer Scientists. Birkhäuser 1989 (auch auf Deutsch erhältlich)
• Dirk Siefkes: Formalisieren und Beweisen: Logik für Informatiker. 2. Aufl. Vieweg 1992

Lecture

Exercise