FSI-Zimmer: geschlossen
Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Prüfungen im Bachelor-Studium (1. - 5. Semester) » aud » Forendiskussionen (Übersicht)
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
| Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung | Letzte ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
| pruefungen:bachelor:aud:loesungws12 [25.03.2014 12:18] – Sorry. Thorsten hatte doch kein Recht ;) :D fharbe | pruefungen:bachelor:aud:loesungws12 [25.03.2015 18:08] – bor1 | ||
|---|---|---|---|
| Zeile 188: | Zeile 188: | ||
| fib: Nat -> Nat | fib: Nat -> Nat | ||
| axs: | axs: | ||
| - | fib(zero) = zero | + | fib(zero) = succ(zero) |
| fib(succ(zero)) = succ(zero) | fib(succ(zero)) = succ(zero) | ||
| fib(succ(succ(n))) = add(fib(succ(n)), | fib(succ(succ(n))) = add(fib(succ(n)), | ||