



Studia grazie alle numerose risorse presenti su Docsity
Guadagna punti aiutando altri studenti oppure acquistali con un piano Premium
Prepara i tuoi esami
Studia grazie alle numerose risorse presenti su Docsity
Prepara i tuoi esami con i documenti condivisi da studenti come te su Docsity
Trova i documenti specifici per gli esami della tua università
Preparati con lezioni e prove svolte basate sui programmi universitari!
Rispondi a reali domande d’esame e scopri la tua preparazione
Riassumi i tuoi documenti, fagli domande, convertili in quiz e mappe concettuali
Studia con prove svolte, tesine e consigli utili
Togliti ogni dubbio leggendo le risposte alle domande fatte da altri studenti come te
Esplora i documenti più scaricati per gli argomenti di studio più popolari
Ottieni i punti per scaricare
Guadagna punti aiutando altri studenti oppure acquistali con un piano Premium
La formula di Ackermann, una famosa sequenza di funzioni ricorsive in informatica. Contiene la descrizione della formula, esempi di calcolo e esercizi per pratica. Si tratta di appunti per un corso universitario di informatica o di matematica.
Tipologia: Prove d'esame
1 / 5
Questa pagina non è visibile nell’anteprima
Non perderti parti importanti!




[!/^ , B^ , (^) =/% (^) %) a) verified clue^ (A^ , Ba^ ) e^ (A^ , Bz^ ) mom^ sono^ raffi omfibiei e^ clue^ CA^ ,^ Bg)^ e- riaffiomgi
b) F^ :^ TL At^ B.^ F)^ =/-^ n } a) Rn = [Bn A^ Bn AZ^ Bn ]^ = ! %^ %)^ Im (^) Ra (^) =L Rs^ CA , Bn (^) ) mom e- oeoeffiumf. bite Rz = [Be^ A^ Bz^ ÑB, (^) ] = [§^ §^ ?;) Icu^ Rz^ f- Rs^ (A.^ Bz) mom e-^ oeoeffiumfibile (^9 9) ✗ → (^) be (^) 3-colon me e- (^) attend (^) bile
Xr 61=101 (^) ,^ Xr^ (a)^ =^ Im^ Bs =^ In^ [% { f-
&] T Xr G)^ =^ Xr^ (a) +^ InAM^ =^ In^ [%^ &)^
= (^) Icu [%^ §^ = (^) R
= Xr (^) CAB , (^) ) e-^ raffi omg i (^) bite b) ✗^ (a)^ =^ A-☒ +Bsu lo)^ = [§^?^ / idol (^) , ulo) = [8) →^ ✗^ (a) = [%) I ✗ (^) G) = (^) A- ✗ (^) (a) + (^) Bula) = [%)
[%^ %)
, celal = Eh]^ →^ ✗^ (2)^ = [&) ✗ (^) (3) =^ A^ ✗ (^) (2) + (^) Bsu(2) = [§^ /^
[§^ If u (^12) ) (^) , not =^ [I] - ☐ ✗^ G) = [§} ✗ = Exch ✗ (^) G) ✗G) ]=[%^ §^ §^ ]^ , ✗ " =/&^ §^ :?) F- = Eula (^) ) ulz) o] X " = [-7^08]×-1=[8-48] b- =^ B , it = Basuto ) = Bs [%] = [%)
=a+¥=f!^!^ :/^ +1!^ !/^ % :^ :^ -1-1%11+1!^ -1%1=1-^ ? (^) :| d (^) (a) =^ + (^) c)3=23+322+32+
E- (^) [b- (^) A- b- (^) A- '
= [%^ & F)^ = ✗ (^) ① Formula di^ Ackermann : f- = - ' all A) =^ - ( 9 A-^ 3+39 A-^ at^39 A-^ +^ 9) q = (^) E o^ -^ a^ ] (^) , a A- = [20-9] (^) , got?^ [39-9] , 9 A- (^) 3=1-3 (^2 0) ] f- -^ (^ [^3 2 0 ]^ +^ [^9
[
)
12 μg f (d) =^ Olot^ ( 2 I^ - (A^ +^ Bs F) (^) / =^ abet /
=
(^20) It 5) =
((^ 2- (^) 1) (at (^) 5) t (^20) ) =^ 8- 82 + (^) 8+(1-1) (^) (22+47+15) = = 96 - (^8) A +23+422+152 - 22 - 42 - 15=23+322+32+1 = @ + (^) 1)
? (^) %) ,^ ce (^) [z^ o^ - g (^) ] ② a)^ ✗^ No^ CU) (^) ,^ U^ c-^ IN A- = f- a 2 -
: y co)^
, y (a)^
, Y (2)^
2 o - z ]=^ her^ [^88 I]^ = = (^) were (^) [ (^8 8 )
✗No (^) (2) =^ ✗No (^) (a) n wer MA = (^) Her (^) [ (^88 9) ] nwoej-xm.gg?-=XnoCD=✗NO ✗no (a) =^ her^ Ff^8 E)^
[%)^ , b- (^) k (^29)
iat-i-E.EE/-:::.:.H;:::.11:::..:t- 2 3 ARLO
☐ →^ 2-^ EN^ STROOT URAU amino B^=(¥¥f ?
E- (^) [Criollo / cnn.io/o ] , E- CT=[^0 9 a^ 2)^ F-^ [9*0] r- g S^ g- f CRN^ CNR (^) co b) H^ (5)^ =^ Caco^ CSI^
£- ⑧ a- = [ (^88) ] (^) ,^ B-^ Eh ] (^) , 9--1%9]
A- a Determinate nine beffe ai contralto (^) in ovetroesiiome (^) clue mimimnizzi (^) flu) Egueziome olio^ Rivoli^ : At Pt^ PAT^ Q -^ PBRBTP^ =^0 PA=[^88 ]^ , pB=[ 8 ¥] F- [I E)^ , pso^ →
ec -62^ so [881+[891+-189]
[@
⑨ (^) (at^ b)2--9^ →^ at ,b=±z @ =^ 2- b 2=-2^ -^ b @=z_b_ z^
-32612=0 →^ atzb^
-1126=0 b^
p=[}^ 9) (^) , Paso f*=^ -^ D- ' B' ' P= (^) [-2-4] u☒= f-^ ☒ ✗ (t)