Abrir menú principal

Cuba-Wiki β

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

Sumario

Ejercicio 1Editar

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

Ejercicio 2Editar

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

Ejercicio 3Editar

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

Ejercicio 4Editar

Enunciar y demostrar el teorema de Rice