Corso di Informatica Teorica - Home
22
Transcript of Corso di Informatica Teorica - Home
![Page 1: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/1.jpg)
![Page 2: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/2.jpg)
![Page 3: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/3.jpg)
![Page 4: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/4.jpg)
![Page 5: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/5.jpg)
![Page 6: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/6.jpg)
Schema riassuntivo delle proprieta di crescita della famiglia di funzioni definita da f0(x) =
{x+ 1 se x = 0 oppure x = 1x+ 2 altrimenti
fn+1(x) = f(x)n (1)
Lemma 1. fn+1(x+ 1) = fn(fn+1(x))
Lemma 2. f(k)0 (x) ≥ k
Lemma 3. fn(x) > x
Lemma 4. fn(x+ 1) > fn(x)
Lemma 5. fn+1(x) ≥ fn(x)
Lemma 6. f(k+1)n (x) > f
(k)n (x)
Lemma 7. f(k+1)n (x) ≥ 2f
(k)n (x)
Lemma 8. f(k+1)n (x) ≥ f
(k)n (x) + x
Lemma 9. f(k)1 (x) ≥ 2k · x
14
![Page 7: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/7.jpg)
![Page 8: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/8.jpg)
![Page 9: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/9.jpg)
![Page 10: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/10.jpg)
![Page 11: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/11.jpg)
![Page 12: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/12.jpg)
![Page 13: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/13.jpg)
![Page 14: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/14.jpg)
![Page 15: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/15.jpg)
![Page 16: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/16.jpg)
![Page 17: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/17.jpg)
![Page 18: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/18.jpg)
![Page 19: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/19.jpg)
![Page 20: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/20.jpg)
![Page 21: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/21.jpg)
![Page 22: Corso di Informatica Teorica - Home](https://reader031.fdocument.pub/reader031/viewer/2022012013/6158a960bfe9fd7c881b6401/html5/thumbnails/22.jpg)