Vorlesung 11 Merkelt

Aus ProgrammingWiki
< BuK < IIm20
Archivierte Version vom 2021-06-19T19:29:15+00:00. Aktuelle Version

Inhaltsverzeichnis

Folie 6

mult(0, n) = 0 mult(S(m), n) = add(mult(m, n), n)


pot(0, n) = 1 pot(S(m), n) = mult(pot(m, n), n)

Folie 16

S^2_*(q,m) = S(S(...S(m))...)


Nach Schema:

S^2_*(0,m) = f(m) S^2_*(S(n),m) = g(n,h(n,m),m)


f(m) = U^1_1(m) = m g(a,b,c) = S(U^3_2(a,b,c)) h(n,m) = S^2_*(n,m)


finale \mu-rekursive Vorschrift:

S^2_*(0,m) = U^1_1(m) = m S^2_*(S(n),m) = S(U^3_2(n,S^2_*(n,m),m))

Folie 32

Nur die Tabellen Benutzen:

nr012345678910
01234567891011
1234567891011
2357911
35
4
5

Mit Schema weiter verfolgen:

nr012345678910
01234567891011
123456789101112
2357911131517192123
351329611252535091021204540938189
413
5

Bildungsvorschriften:

(0) m + 1

(1) m + 2

(2) 2m + 3

(3) 2^{m+3} - 3

Folie 35

Folie 39

Nmerkelt_11_39.png

Folie 41

Fakultät

Nmerkelt_2021-06-19_15-08-48.png


Abstandsfunktion

Nmerkelt_2021-06-19_15-23-16.png

Folie 45 (1)

Nmerkelt_2021-06-19_16-24-08.png

Nmerkelt_2021-06-19_16-26-02.png

Folie 45 (2)

F_1(4,6) = F_0(F_1(4,5),F_1(4,5)+5+1) = F_0(185,191) = 376 F_1(4,5) = F_0(F_1(4,4),F_1(4,4)+4+1) = F_0(90,95) = 185 F_1(4,4) = F_0(F_1(4,3),F_1(4,3)+3+1) = F_0(43,47) = 90 F_1(4,3) = F_0(F_1(4,2),F_1(4,2)+2+1) = F_0(20,23) = 43 F_1(4,2) = F_0(F_1(4,1),F_1(4,1)+1+1) = F_0(9,11) = 20 F_1(4,1) = F_0(F_1(4,0),F_1(4,0)+0+1) = F_0(4,5) = 9 F_1(4,0) = 4


F_2(2,1) = F_1(F_2(2,0),F_2(2,0)+0+1) = F_1(2,3) = 27 F_2(2,0) = 2 F_1(2,3) = F_0(F_1(2,2),F_1(2,2)+2+1) = F_0(12,15) = 27 F_1(2,2) = F_0(F_1(2,1),F_1(2,1)+1+1) = F_0(5,7) = 12 F_1(2,1) = F_0(F_1(2,0),F_1(2,0)+0+1) = F_0(2,3) = 5 F_1(2,0) = 2