Estadísticas del PDF: Lógica informática (2015–16) - Tema 5: Resolución proposicional

PD Tema 5: Resolución proposicional

Lógica informática (2015–16)
Tema 5: Resolución proposicional

José A. Alonso Jiménez
Andrés Cordón Franco
María J. Hidalgo Doblado

Grupo de Lógica Computacional

Departamento de Ciencias de la Computación e I.A.

Universidad de Sevilla

1 / 37

PD Tema 5: Resolución proposicional

Tema 5: Resolución proposicional

1. Lógica de cláusulas

2. Demostraciones por resolución

3. Algoritmos de resolución

4. Refinamientos de resolución

5. Argumentación por resol...