El profesor Luis de Ledesma, del Departamento de Inteligencia Artificial de la Facultad de Informática de la Universidad Politécnica de Madrid, acaba de publicar el libro “Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG” (Editorial Ra-Ma, Madrid, 2009).

El libro está destinado a cualquier lector inclinado a las matemáticas, la lógica y los fundamentos de su automatización informática. Puede servir tanto para un primer curso de un semestre o algo más en centros superiores de Informática y otros que cuenten con estudios de Lógica que no estén exclusivamente orientados a su vertiente filosófica.

La obra constituye una introducción a la Lógica con un buen fundamentado acceso teórico a algunas funciones informáticas de la misma. Explica por un lado la sintaxis de la Lógica, que la capacita para deducir teoremas. Asimismo, explica su semántica, que hace que esos teoremas valgan a la hora de resolver un problema.

Más información