Vorlesung 11 Merkelt
Aus ProgrammingWiki
Archivierte Version vom 2021-06-19T14:17:22+00:00. Aktuelle Version
Inhaltsverzeichnis |
Folie 6
mult(0, n) = 0 mult(S(m), n) = add(mult(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)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:
| nr | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | |
| 2 | 3 | 5 | 7 | 9 | 11 | ||||||
| 3 | 5 | ||||||||||
| 4 | |||||||||||
| 5 |
Mit Schema weiter verfolgen:
| nr | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| 2 | 3 | 5 | 7 | 9 | 11 | 13 | 15 | 17 | 19 | 21 | 23 |
| 3 | 5 | 13 | 29 | 61 | 125 | 253 | 509 | 1021 | 2045 | 4093 | 8189 |
| 4 | 13 | ||||||||||
| 5 |
Bildungsvorschriften:
(0) m + 1
(1) m + 2
(2) 2m + 3
(3) 2^{m+3} - 3