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

De Cuba-Wiki
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

Ejercicio 1

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

Ejercicio 2

Demostrar consistente => satisfacible para lógica proposicional.

Ejercicio 4

Enunciar HALT y demostrar que no es computable.

Ejercicio 4

Enunciar y demostrar el teorema de la recursión.

Obtenido de «https://www.cubawiki.com.ar/index.php?title=Final_del_10/03/17_(Lógica_y_Computabilidad)&oldid=10988»