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