TUD FB  Mathematik
 Home  Prospective Students  Students  Secondary Education
  Aktuelles
  Vorlesung
  Übungen
  Klausur
  Klausurseiten
Menu Configuration wurde nicht gefundenGrosses Problem, mind. 1 Zeile muss vorhanden sein.
Vorlesungsname

Formale Grundlagen der Informatik II: Logik (SS 2006)

Lv. Nr.: 04.111.1 (Vorlesung), 04.111.2 (Übungen)


  • Die Ergebnisse der Nachholklausur FGdI 1 hängen jetzt neben Raum S215/209 aus. Die Klausureinsicht ist am Donnerstag, den 9. 11. zwischen 12 und 13 Uhr im Raum S215/201.
Zum Vorlesungsverzeichnis

Veranstalter

Prof. Martin Otto Hochschullehrer Büro S2 15 / 207 Tel. 16-3115
Dr. Achim Blumensath wiss. Mitarbeiter Büro S2 15 / 204 Tel. 16-2215
Tobias Löw wiss. Mitarbeiter Büro S2 15 / 228 Tel. 16-3615

Die diese Lehrveranstaltung betreffenden Aushänge findet man im Schaukasten links neben Raum S2 15 / 201. Die Übungsblätter befinden sich in S2 15 im zweiten Stock in einem Regal zwischen den Aufzügen.
Nr. Tutor/Tutorin Übung
1 Betim Berjani Mittwoch, 08:00 - 09:40 in S103/25
2 Sebastian Erdweg Mittwoch, 08:00 - 09:40 in S103/313
3 Robert Piro Mittwoch, 9:50 - 11:30 in S103/121
4 Robert Piro Mittwoch, 11:40 - 13:20 in S103/112
5 Tobias Löw Mittwoch, 11:40 - 13:20 in S103/113
6 Betim Berjani Mittwoch, 14:25 - 16:05 in S114/265
7 Sebastian Erdweg Mittwoch, 14:25 - 16:05 in S103/12
8 Achim Blumensath Donnerstag, 14:25 - 16:05 in S103/125

Beratung im Lernzentrum Mathematik (LZM)

Während der Vorlesungszeit montags bis freitags von 8.50 bis 16.10 Uhr (Freitags nur bis 15.15 Uhr) in S2 15 / 244.
Tobias Löw: Mi, 13:25 Uhr - 14:20 Uhr

Übungsblätter

Übungsblatt Lösungsvorschlag Übungsblatt
1. Übung Postscript oder PDF Postscript oder PDF
2. Übung Postscript oder PDF Postscript oder PDF
1. Hausübung Postscript oder PDF Postscript oder PDF
3. Übung Postscript oder PDF Postscript oder PDF
4. Übung Postscript oder PDF Postscript oder PDF
5. Übung Postscript oder PDF Postscript oder PDF
2. Hausübung Postscript oder PDF Postscript oder PDF
6. Übung Postscript oder PDF Postscript oder PDF
7. Übung Postscript oder PDF Postscript oder PDF
8. Übung Postscript oder PDF Postscript oder PDF
9. Übung Postscript oder PDF Postscript oder PDF
10. Übung Postscript oder PDF Postscript oder PDF
11. Übung Postscript oder PDF Postscript oder PDF

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.

Begleitend zur Veranstaltung gibt es ein Diskussionsforum. Hier könnt Ihr fachliche und organisatorische Fragen zu Vorlesung und Übungsbetrieb stellen und Euch möglicherweise auch gegenseitig beantworten. Auch Anregungen, Diskussion und konstruktive Kritik sind gern gesehen.