Este manual teórico-práctico de Matemática Discreta, en su segunda edición, presenta novedades importantes respecto al tratamiento clásico del tema. En el capítulo cinco, además de los métodos combinatorios clásicos, los Grafos eulerianos y los Grafos coloreados, se introduce la teoría de las funciones recursivas, de gran importancia en Computación. El capítulo seis ofrece una introducción rigurosa al estudio de las máquinas y autómatas finitos, relevantes en Informática Teórica y Computación. El capítulo siete desarrolla la teoría de Ramsey, una parte interesante del análisis combinatorio no elemental con aplicaciones en la teoría de grafos coloreados. El libro incluye una introducción a la lógica, teoría de conjuntos, leyes de composición interna, álgebras de Boole, métodos combinatorios, recursividad y grafos, máquinas y autómatas finitos, teoría de Ramsey, conjuntos borrosos, códigos lineales y máquinas de Turing, lógica de predicados y sistemas formales.