codi-solucionador-sudokus.pdf

Exámenes - Primer Parcial 2022

Apuntes - Macrorresumen Matemática Discreta.pdf

Apuntes - Logica-Computacional.pdf

Ejercicios - Fitxa Problemes CP1.pdf

Prácticas - LOGICAPROPOSICIONALPRACTICA1LAURAHAROESCOI.pdf

Prácticas - LOGICAPROPOSICIONALPRACTICA2LAURAHAROESCOI.pdf

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

Prácticas - codi-solucionador-sudokus.pdf

Apuntes - Tema 6. Resolució.pdf

Apuntes - Tema 1. Lógica proposicional

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

Apuntes - Tema 5. Sustitució i unificador.pdf

Ejercicios - Problemes (Sintaxi Lógica Prop.)

Apuntes - Tema 0. Introducció

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

Ejercicios - Exercicis (Resolució Proposicional)

Ejercicios - Exercicis Tema 0 (introducció)

Apuntes - Tema 4. Forma clausal

Apuntes - Tema 3. Equivalencies logiques.pdf

Apuntes - Tema 2. Semàntica.pdf