This is a hint (Hinweis) text of GUPU taken literally from the system. It's probably not very interesting reading for you.
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German (...)

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}
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German