Actualizado el 11 de Abril del 2020 (Publicado el 6 de Agosto del 2017)
582 visualizaciones desde el 6 de Agosto del 2017
341,0 KB
76 paginas
Creado hace 9a (12/09/2015)
PD Tema 7: Sintaxis y semántica de la lógica de primer orden
Lógica informática (2015–16)
Tema 7: Sintaxis y semántica de la 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 / 45
PD 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ógic...
Crear cuenta
20 visualizaciones durante los últimos 90 dÃas