En este repositorio se guardan las notas (archivos fuente en *tex*, los archivos en *pdf* y posibles imágenes extra) para el curso de lógica computacional de la carrera de ciencias de la computación, facultad de ciencias UNAM.
Todo el contenido tiene una licencia libre, pueden hacer uso de lo que gusten mientras citen la fuente y no lo hagan con fines comerciales. Cualquier otro asunto con las notas pueden comunicarse al correo: [vladimir@ciencias.unam.mx](mailto:vladimir@ciencias.unam.mx), o en *XMPP* vladimir@suchat.org.