Final del 10/03/17 (Lógica y Computabilidad)
De Cuba-Wiki
Ejercicio 1[editar]
Enunciar y demostrar el lema de Lindenbaum para lógica proposicional.
Ejercicio 2[editar]
Demostrar consistente => satisfacible para lógica proposicional.
Ejercicio 4[editar]
Enunciar HALT y demostrar que no es computable.
Ejercicio 4[editar]
Enunciar y demostrar el teorema de la recursión.