Aktuelles:
- Die Ergebnisse der einzelnen Klausuren sind in der Nora
eingetragen. Die Gesamtnote ergibt sich aus den gesammelten
Mitarbeitspunkten und den Punkten auf die Klausuren 1 und 2.
Sie finden nun in der Gruppenübersicht Ihre erreichten
Mitarbeitspunkte.
- Neu!!!! Die Lösung
zur Aufgabenstellung 25 (Schema Composition) liegt auf der Webseite
der Lehrveranstaltung (unter
Handouts
).
- Neu!!!! Wie versprochen einige Baumbeweise zum Üben
als Archiv.
- Die Vorlesungsprüfung wurde auf Dienstag,
6.2.2001, 8.00 - 10.00 Uhr, HS 3 verschoben. Unterlagen sind
ERLAUBT.
- Neu!!!! Die Lösung
zur Aufgabenstellung 16 (Bank) als PS
und BESSER LESBARES
LaTeX File.
- Es besteht generell Anwesenheitspflicht.
Aktuelle Gruppeneinteilungen:
- (620.522) KV Spezifikation und Verifikation
Montag, 8:00 - 10:00, HS 2:
- Gruppe 1: Weichsler (15P), Hambrusch (10P)
- Gruppe 2: Huber (15P), Kanzian (20P), Schelander (0P)
- Gruppe 3: Ransburg (5 P), Koller (5P), Kohlweiss (5P)
- Gruppe 4: Stark (10P), Arrich (0P)
- Gruppe 5: Keinmel (0P), Paulitsch (10P)
- Gruppe 6: Genser (10P), Kales (5P), Haindl (5P)
- OHNE GRUPPE: Zebedin (0P), Jeitler (5P)
|