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

De Cuba-Wiki
Revisión del 19:49 24 abr 2019 de 181.230.118.149 (discusión) (Página creada con «=Ejercicio 1= Si <math>A \neq \emptyset</math> y además es c.e., entonces <math>A</math> es el rango de una función p.r. =Ejercicio 2= Enunciar y demostrar el teorema d…»)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

Ejercicio 1

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

Ejercicio 2

Enunciar y demostrar el teorema de Rice.

Ejercicio 3

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

- (o excluyente)

-

Ejercicio 4

Si tiene modelos arbitrariamente grandes, tiene modelo infinito.