Lógica Computacional
Ejercicios resueltos de Lógicas Modales
Resumen de Lógica de Proposiciones
EdiLog . Editor para Lógica
Ejercicios resueltos de Lógica de Proposiciones ( Se pueden leer sólo con el EdiLog )
Ejercicios resueltos de Programación Lógica ( Se pueden leer sólo con el EdiLog )
Ejercicios resueltos de Lógica de Hoare ( Se pueden leer sólo con el EdiLog )
Examen de prueba propuesto por los profesores ( en formato PDF )
Examen de prueba resuelto por mi ( Se puede leer sólo con el EdiLog )