Historial de revisiones de «Final del 10/03/17 (Lógica y Computabilidad)»

Saltar a: navegación, buscar

Selección de diferencias: marca las casillas 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.

  • (act | ant) 21:00 10 mar 2017190.138.120.52 (discusión). . (333 bytes) (+333). . (Página creada con «=Ejercicio 1= Enunciar y demostrar el lema de Lindenbaum para lógica proposicional. =Ejercicio 2= Demostrar <math>\Gamma</math> consistente => <math>\Gamma</math> satisfa...»)