Origin: Colombia
(Import costs included in the price)
It will be shipped from our warehouse between Friday, June 07 and Friday, June 21.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Logica y Matematicas Discretas en la Informatica. El Estilo Calculatorio (in Spanish)
Jaime Alejandro Bohorquez Villamizar
Synopsis "Logica y Matematicas Discretas en la Informatica. El Estilo Calculatorio (in Spanish)"
Mediante 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 métodos de demostración formal para que, al final, se apropien de la noción de ésta y aprecien el rigor, la precisión, la brevedad y la elegancia en los argumentos.