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 ÜberarbeitungNächste Überarbeitung | Vorherige ÜberarbeitungLetzte ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
pruefungen:bachelor:aud:loesungws12 [29.07.2013 17:13] – Dawodo | pruefungen:bachelor:aud:loesungws12 [25.03.2015 18:08] – bor1 | ||
---|---|---|---|
Zeile 80: | Zeile 80: | ||
0, | 0, | ||
NPE null null | NPE null null | ||
+ | Grmbl | ||
Zeile 86: | Zeile 86: | ||
1, | 1, | ||
x x x | x x x | ||
- | icks | + | icks |
Mitte | Mitte | ||
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)), |