Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Ablauf des Übungsbetriebs zur Vorlesung Reduktionssysteme im Sommersemester 2001

Die Ausgabe der Übungsblätter erfolgt in der Regel donnerstags am Ende der Vorlesung.
Die Abgabe der Übungsblätter muss stets bis 8:00 Uhr des auf den Ausgabetermin folgenden Donnerstag erfolgen.
Die Übungsblätter sind in den entsprechend beschrifteten Übungskasten im vierten Flur zwischen Gebäude 32 und 34 abzugeben.
Beispiellösungen zu den Übungsblättern werden in der Regel donnerstags nach der Besprechung in der Übungsgruppe in einen entsprechend gekennzeichneten Ordner in der Informatik-Bibliothek gestellt.
Nutzen Sie die Möglichkeit, in der Vorlesung und den Übungen Fragen zu stellen!

Zu der Vorlesung kann ein Schein erworben werden. Nähere Angaben erfolgen in der ersten Vorlesung.

Letzte Änderung: Wednesday, 26-Oct-05 08:59:16 GMT
www-aven@informatik.uni-kl.de