Diferencia entre revisiones de «Final del 10/03/17 (Lógica y Computabilidad)»
De Cuba-Wiki
(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...») |
(Sin diferencias)
|
Revisión actual - 21:00 10 mar 2017
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.