Estadísticas del PDF: Tema 12: Resolución en lógica de primer orden - Lógica matemática y fundamentos (2016–17)

Tema 12: Resolución en lógica de primer orden - Lógica matemática y fundamentos (2016–17)

Publicado el 6 de Agosto del 2017
1.254 visualizaciones desde el 6 de Agosto del 2017
225,0 KB
31 paginas
Creado hace 3a (06/02/2017)
LMF Tema 12: Resolución en lógica de primer orden

Lógica matemática y fundamentos (2016–17)

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

José A. Alonso Jiménez
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

LMF 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

LMF Tema 12: Resolución e...

31 visualizaciones durante los últimos 50 días


5
0