Contribuciones del usuario 181.167.56.109
De Cuba-Wiki
Para 181.167.56.109 discusión registro de bloqueos registros
6 mar 2014
- 22:1822:18 6 mar 2014 difs. hist. +113 Lógica y Computabilidad →Finales
- 22:1622:16 6 mar 2014 difs. hist. +283 N Final del 20/02/14 (Lógica y Computabilidad) 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...»