Estadísticas del PDF: Tema 7: Sintaxis y semántica de la lógica de primer orden - Lógica matemática y fundamentos (2014–15)

LMF Tema 7: Sintaxis y semántica de la lógica de primer orden

Lógica matemática y fundamentos (2014–15)
Tema 7: Sintaxis y semántica de la 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 / 45

LMF Tema 7: Sintaxis y semántica de la lógica de primer orden

Tema 7: Sintaxis y semántica de la lógica de primer orden

1. Representación del conocimiento en lógica de pr...