Este libro se diseñó para un curso de introducción a matemáticas discretas. La exposición es clara y adecuada, además de que contiene abundantes ejercicios. Esta edición, igual que las anteriores, incluye temas como algoritmos, combinatoria, conjuntos, funciones e inducción matemática. También toma en cuenta la comprensión y construcción de pruebas y, en general, el reforzamiento matemático. El primer capítulo de lógica y demostraciones se amplió en forma considerable. Se agregaron ejemplos de lógica en lenguajes de programación. Se presentan varios ejemplos de algoritmos antes de llegar a la notación de O mayúscula. Un nuevo capítulo de introducción a la teoría de números. Este capítulo incluye resultados clásicos |como la divisibilidad, la infinitud de los primos, el teorema fundamental de la aritmética|, así como los algoritmos de teoría de números.