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 22: | Línea 22: | ||
==Ejercicio 02== | ==Ejercicio 02== | ||
*1. max(x, y) | *1. max(x, y) � y (x � y) | ||
*2. min(x, y) | *2. min(x, y) � x � (x � y) | ||
*3. Para resolver esto, observemos que un numero es par si y solo si su antecesor no lo es. Entonces, definimos | *3. Para resolver esto, observemos que un numero es par si y solo si su antecesor no lo es. Entonces, definimos parp0q � 1, parpy 1q � 1 � parpyq. | ||
*4. | *4. hfp0q � 0, hfpy 1q � p1 hfpyqqp1 � parpyqq hfpyqparpyq. | ||
*5. | *5. sqrtpxq � mın {0¤i¤x} ppi 1q2 ¡ xq | ||
*6. | *6. psqpxq � psqrtpxq � xq. | ||