Final del 20/02/14 (Lógica y Computabilidad)

De Cuba-Wiki
Revisión del 17:03 7 abr 2015 de 186.124.202.177 (discusión)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

Plantilla:Back

Ejercicio 1[editar]

Enunciar y demostrar el teorema de Rice

Ejercicio 2[editar]

Probar que TOT no es ce ni co-ce

Ejercicio 3[editar]

Enunciar y demostrar el teorema de la deducción

Ejercicio 4[editar]

Probar que existen modelos no estándar de la aritmética en los que hay un elemento inalcanzable.