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...»)
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)
Saltar a: navegación, buscar

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.