Diferencia entre revisiones de «Final del 21/12/17 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «=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 <math>\ne</math> <...») |
(Sin diferencias)
|
Revisión actual - 19:35 5 ene 2018
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.