TUD Logo

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

Faculty of Computer Science

Teaching  ·  Winter Semester 2005/6
Logik

Alte Aktuelle Hinweise

  • 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.
  • 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: Mon, 3 Jul 2006 14:42:23
Author: Bertram Fronhöfer