Salta al contenido principal
Panel lateral
EN ABIERTO
Página Principal
Cursos
¿Qué es OCW?
OCW en la UPM
Más
En este momento está usando el acceso para invitados
Acceder
Página Principal
Cursos
¿Qué es OCW?
OCW en la UPM
Abrir índice del curso
Computational Logic
Diagrama de temas
General
Class material
CM-F-001
. Lesson 1 (
PDF
)
Introduction.
CM-F-002
. Lesson 2 (
PDF
)
Recall of First-Order Logic.
CM-F-003
. Lesson 3 (
PDF
)
Standardization of Formulae.
CM-F-004
. Lesson 4 (
PDF
)
Standardization of Interpretations.
CM-F-005
. Lesson 5 (
PDF
)
Herbrand's Theorem.
CM-F-006
. Lesson 6 (
PDF
)
Implementations of Herbrand's Theorem.
CM-F-007
. Lesson 7 (
PDF
)
Unication and Resolution.
CM-F-008
. Lesson 8 (
PDF
)
Resolution Strategies.
CM-F-009
. Lesson 9 (
PDF
)
SLD resolution.
CM-F-010
. Lesson 10 (
PDF
)
Extraction of Answers.
CM-F-011
. Lesson 11 (
PDF
)
Introduction to Logic Programming.
CM-F-012
. Lesson 12 (
PDF
)
Automated Theorem Proving.