Edición de «Práctica 8: Funciones Primitivas Recursivas (Lógica y Computabilidad)»
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 29: | Línea 29: | ||
*6. psq(x) = (sqrt(x) = x). | *6. psq(x) = (sqrt(x) = x). | ||
<pre> | |||
*a. Defino máximo recursivamente como: | *a. Defino máximo recursivamente como: | ||
max(x,0) = x | max(x,0) = x | ||
Línea 54: | Línea 54: | ||
*f. psq, predicado cuadrado: | *f. psq, predicado cuadrado: | ||
<math>psq(x) = (sqrt(x) \times sqrt(x) = x)</math> | <math>psq(x) = (sqrt(x) \times sqrt(x) = x)</math> | ||
</pre> | |||
==Ejercicio 03== | ==Ejercicio 03== |