Logica Y Matematicas Discretas En La Informatica. El Estilo Calculatorio - Softcover

Varios

Softcover

ISBN 10: 9588726042 ISBN 13: 9789588726045

Publisher: ESCUELA COLOMBIANA DE INGENIERIA, 2013

Synopsis

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.

Edition details

• Publisher: ESCUELA COLOMBIANA DE INGENIERIA
• Publication date: 2013
• Language: Spanish
• ISBN 10: 9588726042
• ISBN 13: 9789588726045
• Binding: Paperback
• Number of pages: 442