Final del 06/12/19 (Lógica y Computabilidad)
Ejercicio 1[editar]
Enunciar y demostrar el teorema de Rice
Ejercicio 2[editar]
Probar que Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle TOT} no es c.e. ni co-c.e.
Ejercicio 3[editar]
Enunciar y demostrar el Lema de Lindenbaum
Ejercicio 4[editar]
Demostrar que, si Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \Gamma} tiene modelos arbitrariamente grandes, entonces Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \Gamma} tiene modelo infinito