Libros de Matemáticas para computación, página 3 de 9

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.

Este texto está dedicado a la detallada resolución de gran cantidad de ejercicios de integración múltiple. Se presentan la integral de línea, integral doble, integral de superficie e integral triple en capítulos independientes junto con los teoremas integrales clásicos: teorema de Green, teorema de Stokes y teorema de Gauss. La consulta del índice de materias al final del libro presenta un recorrido detallado de la cantidad de cálculos clásicos realizados, así como numerosas interpretaciones físicas de los mismos. Cada capítulo posee un resumen teórico con los contenidos necesarios para que su lectura y seguimiento no requiera, en principio, la consulta de otro texto de teoría. No obstante, se recomienda enérgicamente la consulta de textos teóricos clásicos que existen sobre la materia. En la mayoría de los casos, el nivel de los ejercicios resueltos es similar al de los problemas que se enuncian en los exámenes, no en vano la mayoría de los enunciados provienen de los que se han realizado en los últimos años en la universidad de Málaga. Cada capítulo finaliza con una importante cantidad de ejercicios propuestos cuya resolución completa y afianza el aprendizaje.

En las últimas décadas han tenido gran auge los llamados Entornos de Matemática Computacional que pretenden hacer posible la realización de cálculos complicados a profesionales de distintas disciplinas con poca preparación en el campo de la Informática. En el presente trabajo se intenta buscar un equilibrio entre el uso de un entorno de computación (MATLAB) y el aprendizaje de los aspectos básicos de Algorítmica, Programación y Cálculo Numérico. Ello se consigue dejando a un lado las TOOLBOXES específicas y programando bastantes algoritmos numéricos en el lenguaje de MATLAB. El tratamiento está estructurado en forma de capítulos, con abundantes ejercicios resueltos. Ello hace posible la utilización de este libro como un texto para impartir cursos de Informática de acuerdo con las especificaciones de los títulos de grado del EEES.