Releases: mzahnd/apuntes-9335-logica-computacional
Releases · mzahnd/apuntes-9335-logica-computacional
v0.0.6
Esta versión corrige un error en la definición 78: "Conjuntos expresables" en la versión anterior (v0.0.5).
v0.0.5
Revisión completa del documento con gran cantidad de correcciones, incluyendo: demostraciones, definiciones, ortografía, y ejemplos.
v0.0.4
Esta versión corrige hasta Lógica Proposicional (inclusive) y mejora las referencias en el documento.
v0.0.3
Esta versión corrige principalmente errores en las secciones de Lógica de Primer Orden en adelante
v0.0.2
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
Esta es una release de prueba con la primera versión del apunte.
Puede contener errores de toda clase.