Edición de «Final del 11/08/21 (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 5: | Línea 5: | ||
Por lo tanto, podemos pensar el oral de la siguiente manera. Paso a comentar en primera persona. | Por lo tanto, podemos pensar el oral de la siguiente manera. Paso a comentar en primera persona. | ||
==Ejercicio 1 ( | ==Ejercicio 1 (Lógica)== | ||
Tema a elección + preguntas relacionadas | Tema a elección + preguntas relacionadas | ||
==Ejercicio 2 ( | ==Ejercicio 2 (Lógica)== | ||
En particular en este ejercicio me tomó un ejercicio parecido al "Busy Beaver". Acá la idea era que dada una función que me devolviera el nº de programa de longitud l que termina con entrada x, probar si esta era o no computable. El secreto estaba en probar que si esto funcionara, estaríamos probando el Halting Problem. | En particular en este ejercicio me tomó un ejercicio parecido al "Busy Beaver". Acá la idea era que dada una función que me devolviera el nº de programa de longitud l que termina con entrada x, probar si esta era o no computable. El secreto estaba en probar que si esto funcionara, estaríamos probando el Halting Problem. | ||
==Ejercicio 3 ( | ==Ejercicio 3 (Computabilidad)== | ||
Tema a elección + preguntas relacionadas | Tema a elección + preguntas relacionadas | ||
==Ejercicio 4 ( | ==Ejercicio 4 (Computabilidad)== | ||
Acá me tomó dos sub-ejercicios: | Acá me tomó dos sub-ejercicios: |