Übungsblätter
Hier findet man die Übungsblätter und
Lösungshinweise zur Lehrveranstaltung, jeweils sowohl im PDF-,
als auch im Postscript-Format. Die Postscript-Dateien wurden aus
Platzgründen mit dem Programm gzip komprimiert. Zum
Dekomprimieren verwendet man die Programme winzip
bzw. gunzip. Betrachten kann man die Dateien nach dem Dekomprimieren
z. B. mit den Programmen Acroread
bzw. Ghostview.
Hinweis: Beim Herunterladen der Dateien
mit einem falsch konfigurierten Browser kann es vorkommen, daß
die Dateien automatisch entpackt werden, obwohl die Endung
nicht geändert wird. Falls es beim Entpacken Probleme gibt, bitte
prüfen, ob die PS-Datei lesbar ist (normales ASCII). In diesem
Fall ist die Datei bereits entpackt und man kann den Namen von
XXX.ps.gz nach XXX.ps ändern.
Skript
Aktuelle Version, samt Inhaltsverzeichnis und Index mit
Hyperlinks.
Literatur
In der Vorlesung wurden folgende Bücher erwähnt:
Burris: Logic for Mathematics and Computer Science
Prentice-Hall 1998.
Ben-Ari: Mathematical Logic for Computer Science Springer 1993.
Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik Spektrum
98.
Schoening: Logik für Informatiker Spektrum 2000.
|
