Diferencia entre revisiones de «Final del 07/03/19 (Lógica y Computabilidad)»
De Cuba-Wiki
(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…») |
(Sin diferencias)
|
Revisión actual - 19:49 24 abr 2019
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.