Diferencia entre revisiones de «Final del 17/05/18 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «=Ejercicio 1= Demostrar que si <math>\Gamma</math> conjunto de formulas de la logica proposicional tal que <math>\Gamma \subseteq FORM </math> es consistente entonces <mat...») |
(Sin diferencias)
|
Revisión actual - 11:08 18 may 2018
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