La programación y el diseño algorítmico son temas desafiantes y fascinantes, pero por lo general son tratados en un lenguaje muy riguroso. Esto no sucede en el presente libro, el cual se aparta del enfoque tradicional de la enseñanza de la programación, donde hay que adivinar el código de los programas para su posterior remiendo, mediante un proceso de ensayo y error lento y costoso.

Dirigido a cualquier programador serio, estudiante de informática o participante asiduo de maratones de programación, con al menos un año de experiencia en programación de computadores, este libro se ocupa del diseño de programas correctos por construcción, es decir, del diseño calculativo de programas a partir de sus especificaciones. Se utiliza una combinación balanceada de la teoría matemática, la práctica de la programación y el diseño de algoritmos correctos y eficientes, enfrentando algo que no se hace en la mayor parte de los textos de clase: mostrar por qué la matemática y la lógica son instrumentos esenciales para un buen programador.

Sobre el autor

Doctor en lógica matemática de la Universidad de Cornell y lidera la enseñanza del estilo calculativo para razonar y construir programas en Colombia, iniciado por E. W. Dijkstra y sus seguidores de la Universidad de Eindhoven (Holanda). Fue docente e investigador de la Universidad de los Andes durante más de 20 años y actualmente es profesor asociado del programa de ingeniería de sistemas de la Escuela Colombiana de Ingeniería.

Contenido

1. Cálculo lógico.

2. La programación como ciencia.

3. Corrección y derivación de programas iterativo.

4. Corrección y derivación de programas recurrentes.

5. Complejidad algorítmica.

6. Ecuaciones de recurrencia.

7. Métodos generales de solución de problemas.

8. Divide y vencerás.

9. Técnicas avanzadas de derivación.

10. Búsqueda en estructuras lineales.

11. Estructuras notables.

12. Programación dinámica.

13. Métodos voraces.

14. Exploración de grafos.

15. lntratabilidad.

16. Bibliografía.