Diferencia entre revisiones de «Final del 20/02/14 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «=Ejercicio 1= Enunciar y demostrar el teorema de Rice =Ejercicio 2= Probar que TOT no es ce ni co-ce =Ejercicio 3= Enunciar y demostrar el teorema de la deducción =E...») |
(Sin diferencias)
|
Revisión del 22:16 6 mar 2014
Ejercicio 1
Enunciar y demostrar el teorema de Rice
Ejercicio 2
Probar que TOT no es ce ni co-ce
Ejercicio 3
Enunciar y demostrar el teorema de la deducción
Ejercicio 4
Probar que existen modelos no estándar de la aritmética en los que hay un elemento inalcanzable.
