Lógica y matemáticas discretas en la informática. El estilo calculatorio

La presente obra se propone dotar a los estudiantes de habilidades en el uso del cálculo proposicional y de predicados para aplicarlas en la informática y las matemáticas discretas. Aunque el tema mismo del libro es ''elemental'', en el sentido de fundamental, no es ''fácil''. Aprender a razonar matemáticamente con efectividad exige tiempo y paciencia. El propósito es contribuir a que los estudiantes distingan las circunstancias en que el razonamiento sintáctico (calculatorio) resulta más adecuado y adquieran confianza en su uso; aprendan principios y estrategias para desarrollar pruebas o demostraciones; comprendan que la estructura de una fórmula ayuda a descubrir demostraciones; y relacionen los argumentos informales e intuitivos con los diferentes métodos de demostración formal para que, al final, apropien la noción de ésta y aprecien el rigor, la precisión, la brevedad y la elegancia en los argumentos.