Edición de «Práctica 3 (LyC Verano)»
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 481: | Línea 481: | ||
==== Item A ==== | ==== Item A ==== | ||
Probar que B es | Probar que B es r.e. sii existe una funcion f inyectiva computable tal que la imagen de f sea B. | ||
'''Solucion''' | '''Solucion''' | ||
Línea 487: | Línea 487: | ||
<math>\Rightarrow</math>) | <math>\Rightarrow</math>) | ||
Como B es | Como B es r.e., existe una funcion g primitiva recursiva (por lo tanto, computable) tal que su imagen sea B. Defino f en funcion de g: | ||
<math>f(0) = g(0)</math> <br/> | <math>f(0) = g(0)</math> <br/> |