Historial de revisiones de «Final del 21/12/17 (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.

5 ene 2018

  • actant 19:3519:35 5 ene 2018‎ FFrassia discusión contribs.‎ 682 bytes +682‎ Página creada con «=Ejercicio 1= Demostrar que TOT no es c.e. =Ejercicio 2= Enunciar y demostrar el Teorema de la Deducción. =Ejercicio 3= Demostrar que si A es c.e. y A <math>\ne</math> <...»
Obtenido de «https://www.cubawiki.com.ar/index.php/Final_del_21/12/17_(Lógica_y_Computabilidad)»