Edición de «Final del 20/02/14 (Lógica y Computabilidad)»
De Cuba-Wiki
Revisión del 22:16 6 mar 2014 de 181.167.56.109 (discusión) (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...»)
Advertencia: estás editando sobre una revisión antigua de esta página. Si la publicas, se perderá cualquier otro cambio realizado desde esa revisión.
Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si inicias sesión o creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.