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.)

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.

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