TY  - BOOK
AU  - Bohórquez Villamizar, Jaime Alejandro
TI  - Lógica y Matemáticas Discretas en al Informática: El estilo calculatorio 
SN  - 9789588726045
PY  - 2012///
CY  - Bogotá - Colombia
PB  - Escuela Colombiana de Ingeniería
KW  - LÓGICA SIMBÓLICA Y MATEMÁTICA
KW  - ARITMETICA
KW  - TEORÍA DE CONJUNTOS
KW  - LÓGICA MATEMÁTICA
KW  - COLOMBIA
N1  - Bibliografía de la página 431 - 433 / incluye indice alfabético; Sala especializada / a domicilio; E.A.P. Ingeniería Informática y Sistemas
N2  - 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
ER  -