Diferencia entre revisiones de «Final del 06/12/19 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «=Ejercicio 1= Enunciar y demostrar el teorema de Rice =Ejercicio 2= Probar que <math>TOT</math> no es c.e. ni co-c.e. =Ejercicio 3= Enunciar y demostrar el Lema de Linde…») |
(Sin diferencias)
|