Final del 23/02/10 (Lógica y Computabilidad)

De Cuba-Wiki
Saltar a: navegación, buscar
Back.png Volver a la página de la materia

Ejercicio 1[editar]

Enunciar Halt y demostrar que no es computable. (Con cualquiera de las demostraciones vistas.)

Ejercicio 2[editar]

Exhibir una función computable que no sea p.r. y demostrarlo.

Ejercicio 3[editar]

Demostrar que tq es verdadera sii tiene modelo finito.