Final del 16/03/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]

Demostrar que todo conjunto infinito r.e. contiene un conjunto infinto computable.

Ejercicio 2[editar]

Demostrar el teorema de Rice. (No es necesario probar ni el Teorema del Parámetro ni el Teorema de la Recursión.)

Ejercicio 3[editar]

Demostrar el Lema de Lindenbaum.

Ejercicio 4[editar]

Verdadero o Falso (Justificar):