La informática, además de los elementos de álgebra lineal y cálculos infinitesimales 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. Se ha perseguido un estilo claro, detallado y pedagógico, incluyendo ejemplos y ejercicios tanto al final de cada tema como al final de cada capítulo. Se han omitido casi siempre las referencias bibliográficas en el curso de la exposición, aunque se ha incluido al final de la obra una selección de referencias bibliográficas básicas que pueden servir de guía para consultas o lecturas ulteriores. Se ha tratado con particular cuidado los capítulos dedicados a números, conjuntos y estructuras de orden, poniendo énfasis en la motivación, comunicación y ejercicio de ideas y métodos fundamentales, muy particularmente el principio de inducción y las definiciones recu