BuK/IIm20/Vorlesung 11 Grüning

Wiki-Quelltext dieser Seite.

== 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))$