Vorlesung 11 Grüning

Aus ProgrammingWiki
< BuK < IIm20
Archivierte Version vom 2021-06-13T08:00:53+00:00. Aktuelle Version

Wiederholte Vorgängerfunktion Seite 16

n = q n1 = m r = 1 S^2(0, m) = m = f(m) = U^1_1(m) S^2(S(q), m) = g(q, S^2(q, m), m)

= S(U^3_2(q, S^2(q, m), m))

Seite 41

Fakultät

fak(0) = C^0_1() = 1 fak(n) = g(n, fak(n)) 3! = 3 * 2 * 1 4! = 4 * 3! mult(S(n), fak(n))