TU Darmstadt FB Mathematik

Einführung in die Logik
für
Informatiker(innen)
(SS 2003)


Aktuelles Aktuelles Skript Aktuelles Übungsblatt Allgemeine Informationen Lehrmaterial

Aktuelles

  • Informationen zum Vordilom Frühjahr 2004 gibt es hier.

  • Vordiplom

  • Klausureinsicht

    Die Einsicht zur Klausur "Logik für Informatiker" findet am Mittwoch, den 6.8., um 9:00 Uhr in Raum S2 15-201 statt.

  • Übungsleiter(innen) gesucht!

    Für das nächste Wintersemester sucht der Fachbereich Mathematik dringend studentische Hilfskräfte für die Lehrveranstaltung "Allgemeine Algebra für (W)Inf". Kannst Du Dir vorstellen, eine der Übungsgruppen zu betreuen? Dann melde Dich bitte bei Tobias Löw, Raum S2 15-228, Tel. 16-36 15

  • Die Klausurergebnisse (Allgemeine Algebra und Logik)

    hängen im Schaukasten vor S2 15/201 aus. Ein Termin für die Rückgabe der Klausuren wird noch bekannt gegeben.

    nach oben


    Allgemeine Informationen

    Zum Vorlesungsverzeichnis

    Veranstalter

    Dr. Mathias Kegelmann Büro S2 15 / 211 Tel. 16-2959
    Peter Lietz wiss. Mitarbeiter Büro S2 15 / 233 Tel. 16-2887
    Tobias Löw wiss. Mitarbeiter Büro S2 15 / 228 Tel. 16-3615
    Florence Micol wiss. Mitarbeiterin Büro S2 15 / 233 Tel. 16-2887
    Die diese Lehrveranstaltung betreffenden Aushänge findet man im Schaukasten links neben Raum S2 15 / 209. Dort steht auch ein Hängeregister, in dem sich Skriptseiten und Übungsblätter befinden. nach oben

    Vordiplom: Math. Erg. Für Inf.

    Aktuelle Information

    Übungsgruppen und Fragestunden

    Die regulären Termine sind folgende (bitte auch unter 'Aktuelles' einmalige Verlegungen nachschauen).
    Nr. Tutor/Tutorin Übung Fragestunde
    1 Jan Zeitz Mo, 9.50 Uhr in S1 03 / 9 Mi, 9.50 Uhr in S2 15 / 444
    2 Matthias Scheibel Mo, 9.50 Uhr in S1 02 / 34 Do, 10.00 Uhr in S2 15 / 444
    3 Ben Cohen Mo, 11.40 Uhr in S1 03 / 112 Do, 9.50 Uhr in S2 15 / 444
    4
    Peter Lietz /
    Tobias Löw /
    Florence Micol
    Mo, 14.25 Uhr in S1 03 / 25
     
    Do, 10.00 Uhr
    Mo, 11.30 Uhr *
     
    in S2 15 / 228
    in S2 15 / 233
    5 Sebastian Kanthak Mo, 14.25 Uhr in S1 02 / 34 Mi, 11.40 Uhr in S1 15 / 30
    6 Markus Moll Mo, 14.25 Uhr in S1 02 / 244 Do, 17.00 Uhr in S2 15 / 336
    * findet erst ab dem 23.06.2003 wieder statt.

    nach oben

    Beratung im Lernzentrum Mathematik (LZM)

    Im SS2003 während der Vorlesungszeit montags bis freitags von 8.50 bis 16.10 Uhr in S2 15 / 244.
    Mathias Kegelmann: Mo, 14.20 Uhr - 15.15 Uhr
    Tobias Löw: Fr, 11.35 Uhr - 12.30 Uhr

    nach oben


    Lehrmaterial

    Übungsblätter

    Das neue Übungsblatt wird normalerweise schon am Mittwoch vor der Übung ins Netz gestellt. Es ist eine gute Idee, sich das Blatt vor dem Besuch der Übung anzuschauen und, falls nötig, die relevanten Stellen im Skript noch einmal genau zu lesen.

    Bitte vor dem Ausdrucken alter Übungsblätter im Hängeregister nachschauen, ob noch Blätter übrig sind.

    Übungsblatt Lösungsvorschlag Präsenzübung Lösungsvorschlag Hausübung
    1. Übung Postscript oder PDF Postscript oder PDF Postscript oder PDF
    2. Übung Postscript oder PDF Postscript oder PDF Postscript oder PDF
    3. Übung Postscript oder PDF Postscript oder PDF Postscript oder PDF
    4. Übung Postscript oder PDF Postscript oder PDF Postscript oder PDF
    5. Übung Postscript oder PDF Postscript oder PDF Postscript oder PDF
    6. Übung Postscript oder PDF Postscript oder PDF Postscript oder PDF
    7. Übung Postscript oder PDF Postscript oder PDF Postscript oder PDF
    8. Übung Postscript oder PDF Postscript oder PDF Postscript oder PDF
    9. Übung Postscript oder PDF Postscript oder PDF Postscript oder PDF
    10. Übung Postscript oder PDF 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.

    nach oben

    Miniprojekt

    Postscript oder PDF

    nach oben

    Skript

    Literatur

    In der Vorlesung wurden folgende Skripte/Bücher erwähnt.


    nach oben


    11. Oktober 2003 Tobias Löw, Florence Micol