|
neka je h: N^2 -> N funkcija definirana sa h(x,y)={x-y, x>=y; 0, x<y
Dokažite da je h primitivno rekurzivna funkcija.
to je zadatak sa vjezbi, i u rjesenju sa vjezbi je prvi korak da definiramo funkciju h' tako da je h'(a,b)=h(b,a), dokazujemo da je h' primitivno rekurzivna i onda iz toga da je i h takva
nije mi jasno zasto je potrebno uvoditi h'?
za h' imamo h'(0,x_1)=x_1=I_1(x_1) , a za h bi imali h(0,x_1)=0=z(x_1) , pa bi mogli sve slicno zakljucivati, ne?
neka je h: N^2 -> N funkcija definirana sa h(x,y)={x-y, x>=y; 0, x<y
Dokažite da je h primitivno rekurzivna funkcija.
to je zadatak sa vjezbi, i u rjesenju sa vjezbi je prvi korak da definiramo funkciju h' tako da je h'(a,b)=h(b,a), dokazujemo da je h' primitivno rekurzivna i onda iz toga da je i h takva
nije mi jasno zasto je potrebno uvoditi h'?
za h' imamo h'(0,x_1)=x_1=I_1(x_1) , a za h bi imali h(0,x_1)=0=z(x_1) , pa bi mogli sve slicno zakljucivati, ne?
|
