BERGISCHE UNIVERSIT ¨AT GESAMTHOCHSCHULE WUPPERTAL
GAUSS-STRASSE 20 42097 WUPPERTAL (Korrespondenzanschrift) 42119 WUPPERTAL (Lieferanschrift) TELEX 8 592 262 bughw TELEFAX (0202) 439-2901 TELEFON (0202) 439-1
Fachbereich 7
MATHEMATIK
Prof. Dr. Hans-J ¨urgen Buhl Praktische Informatik / Numerik
e-mail: Juergen.Buhl@math.uni-wuppertal.de
Algorithmen und Datenstrukturen (Informatik II)
SS2001 – ¨ Ubungsblatt 3 Abgabetermin: 21. Mai 2001
Aufgabe 1. ggT-Spezifikation, 5 Punkte Spezifizieren Sie die Funktion
1.0 ggT :N×N→N
.1 ggT(n,m)
durch die Angabe einer Vorbedingung und einer Nachbedingung in Form je eines Pr¨adikats unter Benutzung der Funktion teilt(.|.:N×N→B).
Aufgabe 2. Spezifikation der Funktion
”teilt“, 5 Punkte Spezifizieren Sie analog die Funktion teilt: .|.:N×N→B. Aufgabe 3. Spezifikation der logischen Funktionen
”not“ und
”and“, 5 Punkte
Spezifizieren Sie die logischen Funktionn not und and.
Aufgabe 4. Spezifikation eines Datentyps, 5 Punkte
”Spezifizieren“ Sie in Form eines Klassendiagramms (vgl. Sparbuch- Spezifikation der Vorlesung) einen Datentyp Bestellung.
cProf. Dr. Hans-J¨urgen Buhl
1
