TUD Logo

 Search 
TUD Home » ... » Institutes » Institute of Artificial Intelligence » Knowledge Representation and Reasoning » Teaching

Faculty of Computer Science

Teaching  ·  Summer Semester 2006
Logik II

Alte Aktuelle Hinweise

  • Das ursprünglich für Mai 2006 geplante zusätzliche Testat (Probeklausur) für INF/IST Studenten entfällt.
  • Erste Fragestunde für Medieninformatik-Studenten findet am 2. Mai statt.
    Näheres siehe Web Page Informationen zum Übungsbetrieb.
  • Wir haben die Bestehensgrenze in der Logik-Klausur für Medieninformatiker auf 29,5 Punkte abgesenkt. Alle Studierenden, die dadurch zusätzlich die Klausur bestanden bzw. einen Leistungsschein erworben haben, werden direkt vom Prüfungsamt informiert. Die neuen Notenlisten werden in ca. 14 Tagen erstellt.
  • Wir möchten darauf hinweisen, dass wir die Einsicht in die Klausuren des letzten Frühjahrs abschließen möchten.
    Bitte teilen Sie Einsichtswünsche bis spätestens Sonntag den 21. Mai 2006 per Email an die Leitung des Übungsbetriebs mit.
  • Für Medieninformatiker:
    Auf Grund der Nachkorrektur machen wir am Freitag den 16. Juni in der 6. Doppelstunde (16.40 - 18:10) ein weitere Klausureinsicht.
    Ort: GRU 353
    Das Püfungsamt wird bis spätestens zum 26.6. alle Einträge in jExam aktualisiert haben.
  • Die Tutorübung am Dienstag den 27.6.2006 - 6. DS - findet ausnahmsweise im Raum GRU 358 statt.
  • Wegen Überschneidung der Logik-Übungstunden mit anderen Lehrveranstaltungen werden wir die Termine nach Ostern ändern.
    In der Woche vom 10. bis 14. April gelten die bisher angekündigten Termine.
  • Wegen dem Dies Akademicus am Mittwoch den 10. Mai fällt die Logikvorlesung aus.
    Weitere Termine:
    24.5.: Vorlesung
    31.5.: Fragestunde
    14.6.: Vorlesung
    Und danach dann wieder 14-tägig die Vorlesung und Fragestunden nach spezieller Ankündigung.
  • Am Mittwoch den 12. April hält Herr Hölldobler in der 3. DS im HSZ/AUDI eine Fragestunde.
  • Die Einsicht in beide Klausuren - INF/IST und Medieninformatik - findet am Dienstag, den 11. April, von 16:40 - 18:40 im Raum GRU 356 statt.
  • Die Vorlesung beginnt am Mittwoch den 5. April 2006 und findet von da an 14-tägig statt.
  • Die Noten zur Klausur Medieninformatik vom 3.3.2006 müßten gegen Ende der Woche über jexam verfügbar sein.
    Wir planen für Dienstag nächster Woche, 11. April, spätnachmittags bis abends eine Klausureinsicht in beide Klausuren.
    Genauer Termin und Ort kommen noch, aber u.U. ziemlich kurzfristig.
    (Bitte bringen Sie zur Klausureinsicht selbst Musterlösungen mit.)
  • In der Woche vom 3.-7. April finden noch keinerlei Übungen statt.
  • Es wird anstatt der 8 angekündigten 14-tägigen Übungsgruppen wird nur 6 Übungsgruppen geben.
    Die Termine werden in der ersten Aprilwoche festgelegt und unter Informationen zum Übungsbetrieb angekündigt.
    Eine Einschreibung in die Übungsgruppen ist nicht erforderlich.
  • Es ist wiederum geplant eine Fragestunde für Studenten der Medieninformatik abzuhalten.
  • Auf den Web Pages des SPIEGEL ist ein interessantes Interview mit Sascha Spoun,
    neuer Präsident der Uni Lüneburg.
    Es enthält interessante Passagen über den Sinn eines Studiums etc.
  • Fragestunden nach Vorlesungsende sind im GRU 350
    am Montag, den 13.02. und am Freitag, den 17.02. jeweils um 10:30 und
    am Donnerstag, den 23.02. und am Dienstag, den 28.02. jeweils um 11:10.
  • Wir möchten darauf hinweisen, dass wir nicht abgeholte Testate nach Ende des Wintersemesters vernichten.
    Falls Sie ihr Testat noch abholen möchten, bitten wir Sie bei
    Bertram Fronhöfer (GRU 404) oder
    Ursula Hans (GRU 422)
    vorbeizuschauen.
  • Neue Mitteilung für Medieninformatiker höherer Semester:
    Der Prüfungsausschuss Medieninformatik hat in seiner Sitzung vom 12.12.2005 verschiedene Anträge und Einsprüche zu den Prüfungsmodalitäten im Fach Logik für Studierende, die vor dem WS 04/05 immatrikuliert wurden, behandelt.
    Er stellt klar, dass die mit dem Beschluss vom 18.10.2004 getroffene Übergangsregelung sich nur auf die Lehrangebote sowie die Durchführung der damit verbundenen Prüfungen bezieht und die Prüfungsordnung davon nicht betroffen ist. Für Studierende die vor dem WS 04/05 immatrikuliert wurden, wird die Lehrveranstaltung Logik auch weiterhin als Leistungsnachweis geprüft. Dies erfolgt im Rahmen der Klausur, die für Studierende angeboten wird, die im WS 04/05 oder danach immatrikuliert wurden.
  • Statistik zum Testat vom Samstag, den 3. Dezember 2005.
  • Klausurtermine: (siehe auch Informationen zu den Klausuren)
    Medieninformatik: 3. März 2006, 11.10 Uhr, 90 Minuten, Orte: siehe Informationen zu den Klausuren
    Informatik + IST: 21. Februar 2006, 11.10 Uhr, 120 Minuten, HSZ/AUDi/H
  • Wir möchten noch mal eindringlich darauf hinweisen, dass wir davon ausgehen, dass Sie vorbereitet in die Übungstunden kommen: D.h. Sie haben den Stoff der Vorlesung nachgearbeitet und zumindest die mit + gekennzeichneten Übungsaufgaben durchgearbeitet.
    Es ist nicht die Aufgabe der Tutoren Ihnen den Vorlesungstoff noch mal vorzutragen oder Übungsaufgaben vorzurechnen. Die Übungstunden dienen dazu, Probleme mit dem Stoff der Vorlesung und mit den Übungsaufgaben zu diskutieren und zu lösen.
    Wenn Sie aber den Stoff der Vorlesung und die Übungsaufgaben nicht durcharbeiten, dann haben Sie keine Probleme und dann gibt's auch nichts zu besprechen.
    Wir möchten zudem darauf hinweisen, dass die Übungsaufgaben ohne + nicht als überflüssig anzusehen sind.
  • Am 21.12.2005 findet Vorlesung statt, Termin war übersehen worden.
  • Die Übungsstunde 3. DS: BAR/218 fällt am Donnerstag den 1. November definitiv wegen Krankheit aus.
    Die Übungsstunde 6. DS: HSZ/405 wird vertreten.
  • Es könnte sein, dass morgen die Übungsstunden von Frau Hans -- 3. DS: BAR/218 und 6. DS: HSZ/405 -- wegen Krankheit ausfallen.
    Wir versuchen noch eine Vertretung zu organisieren, sind aber gegenwärtig noch nicht sicher, ob wir das so kurzfristig schaffen.
  • Testattermin steht fest: Samstag, den 3. Dezember um 10:00.
    Weitere Infos folgen auf Web Page `Informationen zu den Klausuren'
  • Termin für Testateinsicht ist am Freitag, den 16.12.2005.
    Näheres siehe unter Informationen zu den Klausuren
  • Testattermin: Samstag, den 3. Dezember um 10:00.
    Information über die Orte, an denen dies geschrieben wird, finden Sie unter
    Informationen zu den Klausuren
  • Mitteilung für Medieninformatiker höherer Semester:
    Es wird ab sofort keine Möglichkeiten zum Erwerb eines Leistungsscheines in Logik mehr angeboten.
    Etwaige Einsprüche gegen diese Entscheidung sind an die Prüfungskommission Medieninformatik zu richten.
  • Übungstermin am Dienstag Nachmittag ist in GRU 353
    (fälschlicherweise wurde GRU 356 angekündigt).
  • Folgende Termine für Zusatzübungen wegen der `Ausfälle' am Montag wurden festgelegt:
    Dienstag, 1.November, und Mittwoch, 2.November, 7.DS im GRU 350
  • Es gibt neue Folien zur Vorlesung zum Runterladen.
  • Wir möchten darauf hinweisen, dass die Einschreibung in die Übungsgruppen gleichzeitig als Anmeldung für das Testat gilt.
  • In der Woche vom 10. bis 14. Oktober 2005 finden noch keine Übungen statt.
  • Auf Grund der hohen Überkapazität der Fakultät Informatik planen wir bei gleichbleibender Zahl von Studienanfängern ab Wintersemester 2006/7 nur noch Studenten im 1. Semester Informatik zum Übungsbetrieb (einschließlich Testaten) zu Logik I/II zuzulassen.
    Die bisher geltende Regelung, welche auch Studenten höherer Semester, die noch an keinerlei Logikprüfung (Klausur, Testat) teilgenommen haben, zum Übungsbetrieb zuläßt, wird dann nicht mehr gelten.
  • Für Studenten höherer Semester:
    Termine für Klausureinsichten stehen fest (siehe Web page `Informationen zu den Klausuren' unten)
Last update: Wed, 28 Jun 2006 15:36:30
Author: Bertram Fronhöfer