50 years Univerity of Lübeck

Institute for Theoretical Computer Science

SS 2006 – Logik, Semantik, Wissensrepräsentation



Type and Content

Title: Logik, Semantik, Wissensrepräsentation
Host: Völzer
Classification: Master-Studiengang 2. Semester
Conentent:

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.

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

Host: Völzer
Hours: 2 SWS, 4 ECTS
Dates: Fr 10:00h – 12:00h, ITCS-Seminarraum 21, 2. OG. Geb. 64

Exercise

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