Final del 05/08/13 (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

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 es satisfactible entonces es consistente.

Ejercicio 4

Dado L un lenguaje de primer orden con igualdad. Decidir si las siguientes afirmaciones son verdaderas o falsas.

1. Existe un conjunto tal que sii A tiene universo infinito.

2. Existe un conjunto tal que sii A tiene universo finito.

3. El conjunto del ítem 1 necesariamente es infinito.