50 Jahre Uni Lübeck

Institut für Theoretische Informatik

SS 2007 – Logik, Semantik, Wissensrepräsentation


Veranstaltungsart und -inhalt

Titel: Logik, Semantik, Wissensrepräsentation
Veranstalter: Liskiewicz, Reischuk
Einordnung: Master-Studiengang 2. Semester
Inhalt:

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.

Buchempfehlungen:
  • 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

Übung

Übungsblätter: