Final del 07/03/14 (Lógica y Computabilidad)

De Cuba-Wiki
Saltar a: navegación, buscar
Back.png Volver a la página de la materia

Ejercicio 1[editar]

Enunciar y demostrar el teorema de Rice

Ejercicio 2[editar]

Enunciar y demostrar el Teorema de Punto Fijo

Ejercicio 3[editar]

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[editar]

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.