Diferencia entre revisiones de «Final del 07/03/14 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «=Ejercicio 1= Enunciar y demostrar el teorema de Rice =Ejercicio 2= Enunciar y demostrar el Teorema de Punto Fijo =Ejercicio 3= Definir maximal consistente y demostrar...») |
(Sin diferencias)
|
Revisión del 21:42 7 mar 2014
Ejercicio 1
Enunciar y demostrar el teorema de Rice
Ejercicio 2
Enunciar y demostrar el Teorema de Punto Fijo
Ejercicio 3
Definir maximal consistente y demostrar que es teorema de sii pertenece a . También demostrar otra proposición que no recuerdo pero era parte de m. c.
Ejercicio 4
Enumerar (y explicar muy brevemente) los pasos de la demostración de completitud en Primer Orden y mostrar el modelo canónico utilizado en la demostración.