Contribuciones del usuario Nicoshev
De Cuba-Wiki
12 dic 2014
- 04:5204:52 12 dic 2014 difs. hist. +6 Final del 11/12/14 (Lógica y Computabilidad) Sin resumen de edición
- 03:5603:56 12 dic 2014 difs. hist. +2 Final del 11/12/14 (Lógica y Computabilidad) Sin resumen de edición
- 03:5603:56 12 dic 2014 difs. hist. +507 N Final del 11/12/14 (Lógica y Computabilidad) Página creada con «=Ejercicio 1= Enunciar el halting problem y demostrar que HALT no es computable =Ejercicio 2= Enunciar y demostrar el teorema de Rice =Ejercicio 3= Definir consistente...»
- 03:5503:55 12 dic 2014 difs. hist. +110 Lógica y Computabilidad →Finales