Final del 05/08/13 (Lógica y Computabilidad)
De Cuba-Wiki
Ejercicio 1
Probar que la clase de funciones computables es una clase PRC
Ejercicio 2
Definir conjunto de índices. Enunciar y demostrar el Teorema de Rice
Ejercicio 3
Usando el Teorema de Correctitud de la lógica proposicional probar que si
