Contiene gran número de ejercicios y ejemplos aclaratorios. Cada tema incluye demostraciones matemáticas, análisis combinatorio, estructuras discretas, algoritmos, engarzando estos conceptos con herramientas para resolver problemas a través de modelos.
Especial importancia a la Lógica, tipos de prueba y pruebas de escritura.
www.mhhe.com/rosen