Teorías eficaces en la práctica de la programación

Título original:

Effective Theories in Programming Practice

Contenido del libro:

La teoría de conjuntos, la lógica, las matemáticas discretas y los algoritmos fundamentales (junto con su corrección y análisis de complejidad) siempre serán útiles para los profesionales de la informática y deben ser comprendidos por los estudiantes que quieran tener éxito.

Este libro de texto explica varios de esos algoritmos fundamentales a los estudiantes de programación de forma concisa, pero precisa. El libro incluye el material de base necesario para comprender las explicaciones y desarrollarlas para otros algoritmos.

El autor demuestra que la claridad y la sencillez no se consiguen evitando el formalismo, sino utilizándolo adecuadamente. El libro es autocontenido, asumiendo sólo una base de matemáticas de secundaria y habilidades elementales de escritura de programas. No presupone familiaridad con ningún lenguaje de programación específico.

Partiendo de conceptos básicos de conjuntos, funciones, relaciones, lógica y técnicas de demostración, incluida la inducción, se introduce el marco matemático necesario para razonar sobre la corrección, terminación y eficiencia de los programas, con ejemplos en cada etapa. El libro contiene el desarrollo sistemático, a partir de las teorías apropiadas, de una variedad de algoritmos fundamentales relacionados con la búsqueda, la ordenación, el emparejamiento, los problemas relacionados con grafos, la metodología de programación recursiva y las técnicas de programación dinámica, culminando con las estructuras recursivas paralelas.