Historial de revisiones de «Final del 06/12/19 (Lógica y Computabilidad)»

De Cuba-Wiki

Selección de diferencias: marca los botones correspondientes a las versiones a comparar y pulsa Intro o el botón de abajo.
Leyenda: (act) = diferencias con la versión actual, (ant) = diferencias con la versión anterior, m = edición menor.

27 feb 2020

  • actant 13:1913:19 27 feb 2020‎ Fert discusión contribs.‎ 320 bytes +320‎ 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…»
Obtenido de «https://www.cubawiki.com.ar/index.php/Final_del_06/12/19_(Lógica_y_Computabilidad)»