Pascual Julián Iranzo

Este libro tiene por objeto introducir a los estudiantes de Ingeniería Informática en los fundamentos y las principales técnicas desarrolladas en el campo de la Programación Lógica.Específicamente, la obra va dirigida a alumnos de segundo o tercer curso de Ingenieria en Informatica que sigan un curso de Programacion Declarativa, o mas especificamente uno de Programacion Logica.El libro es apropiado para estudiantes de Ingenieria Informatica o para programadores que quieran conocer las aplicaciones practicas de la programacion logica.La principal caracteristica distintiva de este libro es la de aunar, en un mismo texto, tanto los fundamentos teoricos como la practica de la programacion logica.

La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la logica y la informatica, y como los calculos deductivos pueden constituir un soporte para el computo. Este libro se centra, principalmente, en el estudio de las caracteristicas y propiedades fundamentales de los sistemas logicos tradicionales: la logica de proposiciones y la de predicados. Sin desdeñar el rigor matematico se ha dado gran importancia a las tecnicas de formalizacion, y mas generalmente a las tecnicas de representacion del conocimiento mediante la logica, asi como a los procesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestas existentes en la literatura, en las que o bien se hace hincapie en los contenidos matematicos y la metateoria, o bien se aborda el estudio de la logica de forma meramente descriptiva y centrandose en los problemas de deduccion formal (en la propia logica). Tambien se dedica atencion a las logicas no clasicas, por su gran influencia en la ciencia y tecnologia actuales: por ejemplo, la logica modal o las logicas multivalentes. Caracteristicas destacadas: -Equilibrio entre los contenidos formales y los practicos. -Presentacion gradual de los conceptos. -Enfasis en los conceptos recurrentes. -Mas de 85 ejemplos y 120 cuestiones y problemas propuestos. Especificamente, el libro va dirigido tanto a alumnos de primer curso de las Ingenierias Tecnicas como de la Ingenieria Superior en Informatica. Ahora bien, aunque la seleccion de los temas se ha hecho pensando en las necesidades de estos, tambien puede ser util a alumnos de matematicas u otras ingenierias.