La informática, además de los elementos de álgebra lineal y cálculo infinitesimal tradicionales y comunes a todas las ingenierías, necesita desde sus primeros cursos herramientas matemáticas orientadas a la modernización de fenómenos discretos. De ahí el importante papel de la matemática discreta y la lógica matemática en los estudios de computación, donde esta asignatura tiene un carácter troncal en todos los planes de estudio actualmente vigentes. Esta obra, cuidadosamente revisada y actualizada, esta dirigía principalmente a los alumnos de los primeros cursos de las titulaciones de computación y afines. Ha surgido de la experiencia docente de los autores, que han impartido cursos en la materia durante décadas. En función de estas circunstancias, se ha procurado utilizar un estilo de exposición detallado y pedagógico, y se han incluido numerosos ejercicios que serán de gran utilidad para el alumno.