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. Nueva sección de sugerencias para resolver problemas. El estilo del seudocódigo se ha actualizado del tipo Pascal al tipo Java.