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:

• Grundstudium, Informatik und Mathematik Diplom
• Umfang: Vorlesung: 2 SWS (Theorie: 2, Praxis: 0), Übung: 2 SWS

[Institut] [Lehrstuhl I] [Mitarbeiter] [Vorlesungen] [Veröffentlichungen]

Letzte Änderung: 14.08.2001
Bei Problemen: webmaster@optix.informatik.uni-wuerzburg.de