Ejercicios de "Lógica informática" (2015-16)
- En Ejercicios de "Lógica informática" (2015-16) se encuentra el libro con los ejercicios de todo el curso.
- En Soluciones de exámenes de Lógica informática están resueltos los ejercicios de exámenes de años anteriores que se corresponden con el contenido del presente curso.
- En Formalización se encuentran los ejercicios de formalización de argumentos.
- En Ejercicios de deducción natural proposicional se encuentran las soluciones de los ejercicios propuestos de deducción natural proposicional.
- En Ejercicios de deducción natural en lógica de primer orden se encuentran las soluciones de los ejercicios propuestos de deducción natural en lógica de primer orden.