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

De Cuba-Wiki
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

Ejercicio 1

Demostrar que TOT no es c.e.

Ejercicio 2

Enunciar y demostrar el Teorema de la Deducción.

Ejercicio 3

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

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.