INVESTIGADORES
LEGRIS Javier
libros
Título:
Deducción y representación. Una introducción a la lógica de primer orden
Autor/es:
JAVIER LEGRIS
Editorial:
Economizarte
Referencias:
Lugar: BUENOS AIRES; Año: 2001 p. 134
ISSN:
987-9372-40-9
Resumen:
El libro es una introducción a la lógica de primer orden a partir del concepto de representación y dirigido a la enseñanza de esta disciplina en el nivel universitario. El libro presenta la sintaxis y la semántica del lenguaje de primer orden y un sistema de deducción natural para la lógica de primer orden. Se consideran las dificultades de representar conocimiento en el lenguaje de primer orden.
