Re: [obm-l] Recursivas Primitivas

Oi Edilon, A)a) Temos: J(x, y) = 1/2 * (x + y) * (x + y + 1) + x; Vamos provar que J é bijetora: 1) J é sobrejetora: Dado a >= 0 seja m o maior natural tal que 1/2 * m * (m + 1) <= a. Como a - 1/2 * m * (m + 1) é certamente menor que m + 1, já que: 0 + 1 + 2 + 3 + 4 + ... + m = 1/2 * m * (m + 1

[obm-l] Recursivas primitivas.

Caros colegas, --- A) Seja J : N^2 -> N tal que J(x,y) = 1/2(( x + y )^2 + 3x + y). Mostre que: a) J é bijetiva; b) J e inv(J) são recursivas primitivas. -