LOGICA SIMBOLICA

La logica es particularmente importante para la informatica porque constituye la base matematica del software. Asi pues, este libro aspira a desarrollar solidas bases formales que permitan al alumno entender las relaciones existentes entre la logica y la informatica, y como los calculos deductivos pueden constituir un sopor te 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.