Estadísticas del PDF: Lógica informática (2014–15) - Tema 12: Resolución en lógica de primer orden

PD Tema 12: Resolución en lógica de primer orden

Lógica informática (2014–15)

Tema 12: Resolución en lógica de primer orden

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 / 31

PD Tema 12: Resolución en lógica de primer orden

Tema 12: Resolución en lógica de primer orden

1. Introducción

2. Unificación

3. Resolución de primer orden

2 / 31

PD Tema 12: Resoluc...