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

De Cuba-Wiki
Saltar a: navegación, buscar

Ejercicio 1[editar]

Si y además es c.e., entonces es el rango de una función p.r.

Ejercicio 2[editar]

Enunciar y demostrar el teorema de Rice.

Ejercicio 3[editar]

Si es m.c. entonces para toda fórmula vale:

- (o excluyente)

-

Ejercicio 4[editar]

Si tiene modelos arbitrariamente grandes, tiene modelo infinito.