Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Ablauf des Übungsbetriebs zur Vorlesung Grundlagen der Programmierung im Sommersemester 2000

Die Anmeldung in Übungsgruppen ist abgeschlossen.
Wir haben versucht per e-Mails eingegangene Wünsche zu berücksichtigen. Negative Bescheide wurden per e-Mail versandt. Die aktuellen Listen hängen am Brett im Treppenhaus zwischen Gebäude 32 und 34, 4.Stock aus.
Die Ausgabe der Übungsblätter erfolgt in der Regel freitags am Ende der Vorlesung.
Ausnahmen sind:
- Am Dienstag, dem 4.4.2000, wird ebenfalls ein Übungsblatt ausgegeben.
- Am Mittwoch, dem 19.4.2000, wird in der vom Karfreitag vorgezogenen Vorlesung ein Übungsblatt ausgegeben.
Die Abgabe der Übungsblätter muss stets bis 8:00 Uhr des auf den Ausgabetermin folgenden Freitags erfolgen.
Ausnahme: Die Abgabe des am 19.4.2000 ausgegebenen Übungsblattes erfolgt erst am 28.4.2000.
Die Übungsblätter sind in den entsprechend beschrifteten Übungskasten im vierten Flur zwischen Gebäude 32 und 34 abzugeben.
Die Übungen sind so geheftet abzugeben, dass die einzelnen Blätter zusammenbleiben, zum Beispiel in einem Schnellhefter.
Übungen müssen in Gruppen zu zwei oder drei Personen abgegeben werden!
Aus Kapazitätsgründen können leider nicht alle Aufgaben bei allen abgebenden Gruppen detailiert korrigiert werden. Jede abgebende Gruppe hat jedoch das Recht, dass mindestens eine Aufgabe pro Übungsblatt korrigiert wird, um eine sinnvolle Klausurvorbereitung zu ermöglichen. Welche Aufgabe dies ist, wird vorher nicht bekannt gegeben.
Nutzen Sie die Möglichkeit, in der Vorlesung und den Übungen Fragen zu stellen!

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