ForAnweisungen

Aufgabe 1

Variablenbereich

Eingabe: int a, int n

Ausgabe: int b

Zusicherung: n\geq 0

Spezifikation

Berechnen Sie b_n nach der folgenden Vorschrift:

i=1,2,...,n
b_i = 2*b_{i-1}-1

Methodenname

FolgeIter00

Aufgabe 2

Variablenbereich

Eingabe: int n Ausgabe: double s

Spezifikation

Bestimmen Sie auf "s" den Wert der Summe s \leftarrow \sum_{i=1}^n \frac{1}{i}

Methodenname

FolgeExplSum01

Spezifikation-Änderung Bestimmen Sie auf "s" den Wert der Summe s \leftarrow \sum_{i=1}^n \frac{i}{i+1}

Methodenname

FolgeExplSum02

Aufgabe 3