Lógica Computacional
12 Compis
apuntes
-
Logica-computacional-Tema-1-Sintaxi-logica.pdf
He publicado nuevos apuntes de Lógica Computacional: Logica-computacional-Tema-1-Sintaxi-logica.pdf
practicas
-
Pràctica 1
He publicado nuevos practicas de Lógica Computacional: Pràctica 1
codi-solucionador-sudokus.pdf
pdf - practicas
ejercicios
-
Exercicis CP1 - Lògica
He publicado nuevos ejercicios de Lógica Computacional: Exercicis CP1 - Lògica
Exercicis Sintaxi i representació.pdf
pdf - ejercicios
Fitxa Problemes CP1.pdf
pdf - ejercicios
apuntes
-
Apunts CP1 - Lògica
He publicado nuevos apuntes de Lógica Computacional: Apunts CP1 - Lògica
Tema 1. Sintaxi i representació d'enunciats.pdf
pdf - apuntes
Tema 6. Resolució.pdf
pdf - apuntes
Tema 5. Sustitució i unificador.pdf
pdf - apuntes
Tema 4. Transformació a forma clausal.pdf
pdf - apuntes
Tema 3. Equivalencies logiques.pdf
pdf - apuntes
Tema 2. Semàntica.pdf
pdf - apuntes
examenes
-
Enunciats Parcials
He publicado nuevos examenes de Lógica Computacional: Enunciats Parcials
Primer Parcial 2022
pdf - examenes
ejercicios
-
Exercicis CP0 - Lògica
He publicado nuevos ejercicios de Lógica Computacional: Exercicis CP0 - Lògica
Exercicis Tema 0 (introducció)
pdf - ejercicios
Problemes (Sintaxi Lógica Prop.)
pdf - ejercicios
Exercicis (Semantica Lógica Prop.)
pdf - ejercicios
Exercicis (Forma Causal)
pdf - ejercicios
Exercicis (Consecuencia lógica)
pdf - ejercicios
Exercicis (Resolució Proposicional)
pdf - ejercicios
apuntes
-
Apunts CP0 - Lògica
He publicado nuevos apuntes de Lógica Computacional: Apunts CP0 - Lògica
Tema 0. Introducció
pdf - apuntes
Tema 1. Lógica proposicional
pdf - apuntes
Tema 3. Conseqüència lógica
pdf - apuntes
Tema 2. Semàntica
pdf - apuntes
Tema 5. Transformació CNF
pdf - apuntes
Tema 4. Forma clausal
pdf - apuntes
practicas
-
Lògica Computacional Pràctiques
He publicado nuevos practicas de Lógica Computacional: Lògica Computacional Pràctiques
LOGICAPROPOSICIONALPRACTICA1LAURAHAROESCOI.pdf
pdf - practicas
LOGICAPROPOSICIONALPRACTICA2LAURAHAROESCOI.pdf
pdf - practicas
apuntes
-
Macrorresumen Matemática Discreta.pdf
He publicado nuevos apuntes de Lógica Computacional: Macrorresumen Matemática Discreta.pdf
