50 Jahre Uni Lübeck

Institut für Theoretische Informatik

SS 2006 – Logik, Semantik, Wissensrepräsentation



Art und Inhalt

Titel: Logik, Semantik, Wissensrepräsentation
Veranstalter: Völzer
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

Vorlesung

Veranstalter: Völzer
Umfang: 2 SWS, 4 ECTS
Termine: Fr 10:00h – 12:00h, ITCS-Seminarraum 21, 2. OG. Geb. 64

Übung

Umfang: 1 SWS
Termine: Fr. 12:00h – 13:00h ITCS-Seminarraum 21. 2. OG. Geb. 64