Final del 17/05/18 (Lógica y Computabilidad)

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

Ejercicio 1[editar]

Demostrar que si conjunto de formulas de la logica proposicional tal que es consistente entonces es satisfacible.

Ejercicio 2[editar]

Demostrar que existen modelos de primer orden no estandar para la aritmética

Ejercicio 3[editar]

Probar que no es c.e. ni co-c.e.

Ejercicio 4[editar]

Enunciar y demostrar el teorema de Rice