50 years Univerity of Lübeck

Institute for Theoretical Computer Science

SS 2007 – Logik, Semantik, Wissensrepräsentation


Classification and Contents

Title: Logik, Semantik, Wissensrepräsentation
Lecturer: Liskiewicz, Reischuk
Classification: Master-Studiengang 2. Semester
Content:
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

Exercise

Exercise: