Final del 21/12/17 (Lógica y Computabilidad)

De Cuba-Wiki
Saltar a: navegación, buscar

Ejercicio 1[editar]

Demostrar que TOT no es c.e.

Ejercicio 2[editar]

Enunciar y demostrar el Teorema de la Deducción.

Ejercicio 3[editar]

Demostrar que si A es c.e. y A , entonces A es el rango de una función parcial computable

Ejercicio 4[editar]

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.