Temas y Ejercicios
Tema 1: Lógica proposicional: Sintaxis y semántica (
Código
y
Ejercicios
)
Tema 2: Cálculo de secuentes proposicionales (
Código
)
Tema 3: Cálculo de tableros proposicionales (
Código
)
Tema 4: Lógica clausal (
Transparencias
y
Ejercicios
)
Tema 5: Programación lógica y Prolog (
Transparencias
y
Ejercicios
)
Tema 6: Representación del conocimiento estructurado (
Transparencias
y
Ejercicios
)
Tema 7: Razonamiento con lenguaje natural (
Transparencias
)
Tema 8: Razonamiento con información incompleta (
Transparencias
)