Edición de «Recuperatorio de computabilidad Verano 2018 (DC)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 20: | Línea 20: | ||
con <math>p</math> el predicado: <math> p(t,x,y) = (t^2 = x^2+y^2)</math>. | con <math>p</math> el predicado: <math> p(t,x,y) = (t^2 = x^2+y^2)</math>. | ||
Vemos que <math>p</math> es primitivo recursivo por | Vemos que <math>p</math> es primitivo recursivo por se composición de funciones primitivas recursivas. | ||
ahora veamos la cota. | ahora veamos la cota. |