Bohórquez Villamizar, Jaime Alejandro <br/><br/>
Lógica y matemática discretas en la informática:el estilo calculatorio 
Jaime Alejandro, Bohórquez Villamizar 
 - 1 
 - 422 páginas ;  il. ;  24cm. 
 - ECDIJG .
<br/><br/> LIBRO DONADO 
<br/><br/>1. Introducción. 2. Sintaxis. 3. Sistemas formales. 4. Lógica proporsional. 5. Semántica de la lógica proposicional. 6. Extenciones y afinamiento del cálculo. 7. Lógica de predicados y operatorias. 8. La lógica como lenguaje para modelar. 9. Operatorias. 10. Teoría de sucesiones. 11. Una teoría de la programación. 12. Teoría de conjuntos. 13. Conceptos de relación y función. 14. Cardinalidad e inducción sobre conjuntos... 
<br/><br/> 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 presión, la brevedad y la elegancia en los argumentos. 
<br/><br/>
<br/><br/><label>ISBN: </label>978-958-8726-04-5 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA Y MATEMÁTICAS DISCRETAS EN LA INFORMÁTICA.<br/>SUCESIONES.<br/>TEORÍA DE CONJUNTOS.<br/>ARITMÉTICA
<br/><br/><label>Dewey Class. No.: </label>511.3  / B677lo