Alte Aktuelle Hinweise

• Die Korrektur des Testats ist abgeschlossen. (Musterlösung unter Klausuren vorheriger Jahre)
  Die Testate werden ab nächster Woche in den Übungsgruppen zurückgegeben.
  Dort nicht abgeholte Testate oder Testate, die keiner Übungsgruppe zugeordnet werden konnten, können am Mittwoch den 10. Januar unmittelbar nach der Vorlesung im AUDI/MAX abgeholt werden.
• Am Dienstag den 5. Dezember findet aus Anlass der Verleihung der Ehrendoktorwürde der TUD an Professor Luís Moniz Pereira im Raum INF E023 ein Workshop statt. Interessierte Studenten sollten sich das Programm einmal anschauen und vielleicht den einen oder anderen Vortrag anhören. Für Studenten des 1. Studienjahres, denen es oft an der Vorstellung fehlt, wo der Stoff des Faches Logik Anwendung findet, dürfte insbesondere der Vortrag 'General Game Playing' von M. Thielscher interessant sein. Er stellt dort ein Programm vor, das in der Lage ist, nur durch Vorgabe der Spielregeln, beliebige Spiele gut zu spielen. Auch der Vortrag von Prof. Schroeder 'Bioinformatics and Semantic Web incl. GoPubMed (ontologie-based search) and other applications' könnte in dieser Hinsicht interessant sein.
• Wegen geringer Teilnehmerzahl wird die Übungsgruppe 9 (Montag 5. DS im ASB/114) aufgelöst.
  Die davon betroffenen Studenten werden gebeten stattdessen in die zeitgleich stattfindenden Übungsgruppen 15 und 16 (im Raum HSZ/E03 bzw. HSZ/103) zu gehen.
• Wegen geringer Teilnehmerzahl wird die Übungsgruppe 7 (Mittwoch 1. DS im SCH/A184) aufgelöst.
  Die davon betroffenen Studenten werden gebeten stattdessen in die zeitgleich stattfindende Übungsgruppe 4 (im Raum SE1/101) zu gehen.
• Vorläufige Klausurtermine: Medieninformatiker: 19.02.2007; Inf/IST: 20.02.2007
• Für Studenten höherer Semester:
  Die nächsten Fragestunden finden am 15. November und am 29. November statt.
• Übungen, die aufgrund von Feiertagen (z.B. Reformationstag) ausfallen, werden nicht nachgeholt.
  Wir empfehlen den Studenten sich in davon betroffenenen Wochen in andere Übungsgruppen einzuordnen.
• Wer sich bei der vollständigen Induktion noch etwas schwach fühlt und nach Übungsaufgaben sucht, der möge mal hier schauen:
  Über 100 Übungsaufgaben mit Lösungen.
  (Die Korrektheit der Lösungen haben wir allerdings nicht überprüft; es handelt sich also um einen `Link ohne Gewähr'.)
• Auf den Web Pages des SPIEGEL ist ein interessantes Interview mit Sascha Spoun,
  Präsident der Uni Lüneburg.
  Es enthält interessante Passagen über den Sinn eines Studiums etc.
• Für Studenten höherer Semester: Letzte Chance auf Klausureinsicht:
  Donnerstag, 2. November, 18:00 bis 18:30 im INF E001
• Das am letzten Mittwoch vorgelegte Tempo der Logikvorlesung beruhte auf einem Mißverständnis bzgl. des Stoffumfangs der Vorlesung.
  Es wird nächten Mittwoch zunächst etwas wiederholt werden und dann geht in gemäßigterem Tempo weiter.
• Es gibt erste Übungsaufgaben; siehe Informationen zum Übungsbetrieb.
• Um mögliche Verwirrung zu beseitigen:
  In der 6. DS am Mittwoch findet im HSZ/AUDI/H eine Fragestunde für Studenten höherer Semester statt
  (Näheres siehe unter Informationen zum Übungsbetrieb).
  Der Termin ist für Erstsemesterstudenten somit belanglos.
• Termine für Einsicht in die Klausuren: siehe Web Page Informationen zu den Klausuren unten.
• In der Woche vom 9. bis 13. Oktober finden noch keine Übungen statt.