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 las carreras de informática, donde esta asignatura tiene carácter troncal en todos los planes de estudio en informática actualmente vigentes en España. Esta obra, completamente revisada y actualizada, está dirigida principalmente a los alumnos de los primeros cursos de ingenierías en informática, tanto superior como de grado medio; pero puede ser útil también para alumnos de otras titulaciones afines como las ingenierías. 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 un estilo de exposición detallado y pedagógico, y se han incluido numerosos ejercicios que serán de gran utilidad para el alumno.