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.
