Tema 5. Sustitució i unificador.pdf

Exámenes - Primer Parcial 2022

Apuntes - Macrorresumen Matemática Discreta.pdf

Apuntes - Logica-Computacional.pdf

Ejercicios - Fitxa Problemes CP1.pdf

Apuntes - Apuntes-Logica-Proposicional-y-Logica-de-Primer-Orden.pdf

Prácticas - LOGICAPROPOSICIONALPRACTICA1LAURAHAROESCOI.pdf

Prácticas - LOGICAPROPOSICIONALPRACTICA2LAURAHAROESCOI.pdf

Prácticas - codi-solucionador-sudokus.pdf

Apuntes - Tema 6. Resolució.pdf

Apuntes - Tema 4. Transformació a forma clausal.pdf

Apuntes - Tema 5. Sustitució i unificador.pdf

Apuntes - Tema 1. Lógica proposicional

Apuntes - Tema 0. Introducció

Apuntes - Tema 1. Sintaxi i representació d'enunciats.pdf

Ejercicios - Problemes (Sintaxi Lógica Prop.)

Apuntes - Tema 2. Semàntica.pdf

Apuntes - Tema 3. Equivalencies logiques.pdf

Ejercicios - Exercicis (Resolució Proposicional)

Apuntes - Tema 4. Forma clausal

Ejercicios - Exercicis Tema 0 (introducció)