Lógica y matemáticas discretas en la informática : El estilo calculatorio / Jaime Alejandro Bohórquez Villamizar.

Format:

Book

Author/Creator:

Bohórquez Villamizar, Jaime Alejandro, author.

Language:

Spanish

Subjects (All):

Logic, Symbolic and mathematical.

Sequences (Mathematics)--Problems, exercises, etc.

Sequences (Mathematics).

Physical Description:

1 online resource (453 pages)

Place of Publication:

Bogotá , Colombia : Escuela Colombiana de Ingeniería Julio Garavito, 2012.

Summary:

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.

Notes:

Description based on publisher supplied metadata and other sources.