La lógica es particularmente importante para la informática porqueconstituye la base matemática del software. Así pues, este libroaspira a desarrollar sólidas bases formales que permitan al alumnoentender las relaciones existentes entre la lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para elcómputo.Este libro se centra, principalmente, en el estudio de lascaracterísticas y propiedades fundamentales de los sistemas lógicostradicionales: la lógica de proposiciones y la de predicados. Sindesdeñar el rigor matemático se ha dado gran importancia a lastécnicas de formalización, y más generalmente a las técnicas derepresentación del conocimiento mediante la lógica, así como a losprocesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestasexistentes en la literatura, en las que o bien se hace hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudiode la lógica de forma meramente descriptiva y centrándose en losproblemas de deducción formal (en la propia lógica).También se dedica atención a las lógicas no clásicas, por su graninfluencia en la ciencia y tecnología actuales: por ejemplo, la lógica modal o las lógicas multivalentes.Características destacadas:-Equilibrio entre los contenidos formales y los prácticos.-Presentación gradual de los conceptos.-Énfasis en los conceptos recurrentes.-Más de 85 ejemplos y 120 cuestiones y problemas propuestos.Específicamente, el libro va dirigido tanto a alumnos de primer cursode las Ingenierías Técnicas como de la Ingeniería Superior enInformática. Ahora bien, aunque la selección de los temas se ha hechopensando en las necesidades de éstos, también puede ser útil a alumnos de matemáticas u otras ingenierías.
