Dieser Hinweis ist aus der Übung im WS 1994/95 oder aus einer noch älteren Übung oder war nie Teil einer Übung und ist daher möglicherweise für spätere Übungen nicht gültig!
Wie werden die Beispiele bewertet etc.? Einige Mißverständnisse zu den Beispielen: · Die Beispiele bestehen aus der Angabe UND Zusicherungen. Beide Teile sind zu beachten! Solange nicht einmal die vorgegebenen Zusicherungen funktionieren, oder andere Fehlermeldungen vorkommen, ist das Beispiel AUF KEINEN FALL gelöst! · Bei der (z.T. automatischen) Beurteilung der Beispiele werden zuerst diese Mindestanforderungen überprüft. Wenn Sie die Zusicherungen auskommentieren, sehen Sie zwar nicht mehr die u.U. vorkommenden Fehler, dennoch werden diese Zusicherungen überprüft! · Ihre Lösung besteht aus Prädikaten und Zusicherungen. Oder, bei reinen Textbeispielen nur aus Kommentaren. Bitte beachten Sie, daß Sie für sich auch weitere Zusicherungen zu den Beispielen hinzufügen sollen. Nur so können Sie ja überhaupt ersehen, ob das Beispiel wirklich funktioniert! · Bitte schreiben Sie die Lösungen eines Beispiels möglichst in das Beispiel selbst hinein. Und nicht in ein anderes Beispiel. · Nennen Sie die Prädikate so, wie gefordert. Zurück: \hinweis{init}