Vorlesung Logik für Informatiker
Sommersemester 1998

  Prof. Dr. Dietmar Seipel




  Aktuelle Informationen


Literatur:

  1. U. Schöningh: Logik für Informatiker. Spektrum Verlag, 1997.
  2. H.-D. Ebbinghaus, J. Flum, W. Thomas: Mathematical Logic. Springer, 1994.
  3. J.W. Lloyd: Foundations of Logic Programming. Springer, 1987.
  4. W.F. Clocksin, C.S. Mellish: Programming in Prolog, 2nd Edition. Springer, 1984.

Termine und Ort:

  Vorlesung: Mittwoch, 10.00 - 11.30 Uhr, Hörsaal 4
  Übung: Dienstag, 8.15 - 13.15, SE 08, in Gruppen

Allgemeine Angaben zur Vorlesung:


Prof. Dr. Dietmar Seipel (seipel@informatik.uni-wuerzburg.de)