Diferencia entre revisiones de «Final del 05/03/20 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «=Ejercicio 1= Enuncie y demuestre el Teorema de la Recursión. =Ejercicio 2= Defina HALT, y pruebe que no es computable. =Ejercicio 3= Enuncie y demuestre el Lema de Lind…») |
(Sin diferencias)
|
