Abrir menú principal

Cuba-Wiki β

Final del 10/03/17 (Lógica y Computabilidad)

Sumario

Ejercicio 1Editar

Enunciar y demostrar el lema de Lindenbaum para lógica proposicional.

Ejercicio 2Editar

Demostrar   consistente =>   satisfacible para lógica proposicional.

Ejercicio 4Editar

Enunciar HALT y demostrar que no es computable.

Ejercicio 4Editar

Enunciar y demostrar el teorema de la recursión.