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