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

De Cuba-Wiki
Revisión del 21:00 10 mar 2017 de 190.138.120.52 (discusión) (Página creada con «=Ejercicio 1= Enunciar y demostrar el lema de Lindenbaum para lógica proposicional. =Ejercicio 2= Demostrar <math>\Gamma</math> consistente => <math>\Gamma</math> satisfa...»)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)
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.