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.