Formal-science.pdf

Exámenes - Examen-final-resuelto.pdf

Apuntes - ejercicios-de-logica-resueltos-fic-udc.pdf

Exámenes - Examen Mayo 2023.pdf

Exámenes - Prolog2.pdf

Exámenes - Prolog_1.pdf

Apuntes - Logica-y-Algebra-de-boole.pdf

Apuntes - logica-boletin.pdf

Apuntes - LOXT1.pdf

Ejercicios - Ejercicios-Tema-1-1-2-y-3.pdf

Apuntes - LOXT1-parte-2-1.pdf

Ejercicios - Ejercicios-Tema-1-1-y-2.pdf

Exámenes - exLogica2024-05-soluciones.pdf

Exámenes - CodigoProlog.pdf

Exámenes - exLogica2025-05-sol.pdf

Apuntes - Tema-1-Satisfactibilidad.pdf

Apuntes - Tema-1-Complejidad-Computacional.pdf

Apuntes - Tema-2-Logica-de-predicados.pdf

Apuntes - Tema-1-Minimizacion.pdf

Apuntes - Tema-1-Decision-binaria.pdf

Apuntes - Tema-1-Calculo-de-secuentes.pdf