Skip to content

Releases: mzahnd/apuntes-9335-logica-computacional

v0.0.6

05 Dec 23:23
Compare
Choose a tag to compare

Esta versión corrige un error en la definición 78: "Conjuntos expresables" en la versión anterior (v0.0.5).

v0.0.5

05 Dec 13:44
Compare
Choose a tag to compare

Revisión completa del documento con gran cantidad de correcciones, incluyendo: demostraciones, definiciones, ortografía, y ejemplos.

v0.0.4

26 Nov 19:00
Compare
Choose a tag to compare

Esta versión corrige hasta Lógica Proposicional (inclusive) y mejora las referencias en el documento.

v0.0.3

12 Nov 13:39
Compare
Choose a tag to compare

Esta versión corrige principalmente errores en las secciones de Lógica de Primer Orden en adelante

v0.0.2

19 Sep 23:45
Compare
Choose a tag to compare

Esta segunda versión del apunte tiene las secciones de Cardinalidad y Lógica Proposicional corregidas y ampliadas con algunos nuevos ejemplos y comentarios del docente.
También agrega información de dónde se pueden realizar aportes nuevos.

Se espera que la próxima versión corrija las secciones restantes.

v0.0.1

03 Jul 15:19
Compare
Choose a tag to compare
v0.0.1 Pre-release
Pre-release

Esta es una release de prueba con la primera versión del apunte.

Puede contener errores de toda clase.