Seminario de lógica computacional (1996-97)

El Seminario de Lógica Computacional es un curso perteneciente al programa de doctorado del año académico 1996-1997. En este seminario se abordan temas fundamentales como la lógica proposicional y de primer orden, los métodos de demostración automática basados en resolución, así como los principios matemáticos que sustentan la programación lógica.

Los apuntes del curso están disponibles en el siguiente enlace: Lógica computacional.