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

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

Lógica informática (2015–16)

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...