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
