Sommersemester 1999 - Übungen zur Logik

Klausur am 16. September (Ergebnisse)
Wo sind die Musterlösungen hin? Hier stehts.
Listen der Scheingewinner werden hier ausgehängt.
Vordiplomprüfung = Klausur über alle 4 Semester der Theoretischen Informatik am 16. September 1999
Für das Wintersemester 99/00 brauchen wir Korrektoren für die Übungsaufgaben zu Berechenbarkeit und Komplexität (Prof. Herre) und Mengentheoretisch-Algebraische Grundlagen (Prof. Gerber).
Ich sehe hoffentlich eine Obermenge einer Teilmenge von Ihnen wieder bei meiner Vorlesung Fortgeschrittene Algorithmen und Datenstrukturen. --- Falls Sie Kommentare zu den angezeigten Themen haben, z. B. "Heapsort kennen wir schon längst auswendig", teilen Sie mir das bitte per Mail mit, je eher, desto besser.

Koordinaten

Bei Bedarf und Laune erscheint hier weiteres Material zu Vorlesung und Übung, Musterlösungen, Preisaufgaben etc.