Vorlesung "Logik für Informatiker"
(WS 2003/04, Universität Dortmund)

Dozent:  Prof. Dr. Martin Kreuzer
 
Nr. im Vorlesungsverzeichnis:  010116

Termin: Mo, 10 - 12 Uhr
Achtung! Neuer Ort: HS 1 in HG II
Beginn: Mo, 13.10.2003

Voraussetzungen:
Mathematik für Informatiker I + II

  • Uwe Schöning, Logik für Informatiker, Spektrum Akademie Verlag, Heidelberg 2000
  • Bernhard Heinemann und Klaus Weihrauch, Logik für Informatiker. Eine Einführung, Teubner Verlag 1992
  • Anil Nerode und Richard Shore, Logic for Applications, Springer Verlag 1997

Vorlesungsskript

Ab Ende Oktober bei der Skriptenverkaufstelle erhältlich!
(Emil-Figge-Str. 50, Raum 0431, Tel. 755-2062)

Vorlesungsinhalt

Die Vorlesung ist eine Veranstaltung des Grundstudiums und richtet sich an Studenten im Diplomstudiengang Informatik.

Übungen

Nr. im Vorlesungsverzeichnis:  010117
Termin, Ort: Der alternativer Übungstermin Di, 17-18 wird mangels Interesse nicht angeboten.

Einteilung der Gruppen

Achtung: geändert am 17.10. um 10.00 Uhr.

Die Teilnehmer der Gruppen 4 und 5 waren vertauscht!

Betreuer der Übungen: Peter Ackermann, M937, Tel.: (755)3137, e-mail

Inhalt: Übungsaufgaben zur Vorlesung

Die Übungen beginnen in der zweiten Vorlesungswoche. Die Einteilung der Übungsgruppen sowie den Ort der Abgabe von bearbeiteten Übungsaufgaben entnehme man gegen Ende der ersten Vorlesungswoche dieser Homepage.

Übungsblätter


Übungsschein:

Letzte Änderung:  21.05.2004

Zur Homepage von Prof. Martin Kreuzer: