Tema 5. Transformació CNF

Apuntes - Macrorresumen Matemática Discreta.pdf

Prácticas - LOGICAPROPOSICIONALPRACTICA1LAURAHAROESCOI.pdf

Prácticas - LOGICAPROPOSICIONALPRACTICA2LAURAHAROESCOI.pdf

Exámenes - Primer Parcial 2022

Ejercicios - Fitxa Problemes CP1.pdf

Apuntes - Tema 1. Lógica proposicional

Apuntes - Tema 0. Introducció

Apuntes - Tema 4. Forma clausal

Apuntes - Tema 6. Resolució proposicional

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

Apuntes - Tema 3. Conseqüència lógica

Apuntes - Tema 2. Semàntica

Apuntes - Tema 5. Transformació CNF

Ejercicios - Exercicis (Forma Causal)

Ejercicios - Exercicis Tema 0 (introducció)

Apuntes - Tema 6. Resolució.pdf

Apuntes - Tema 5. Sustitució i unificador.pdf

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

Ejercicios - Problemes (Sintaxi Lógica Prop.)

Ejercicios - Exercicis Sintaxi i representació.pdf