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 porqué la matemática y la lógica son instrumentos esenciales para un buen programador. En esta obra se presentan principios explícitos subyacentes al desarrollo de los programas, que dirigen al lector por medio de numerosos ejemplos en los que se aplican dichos principios. Los algoritmos aparecen en seudocódigo para hacer el texto accesible a todo estudiante, independientemente del lenguaje de programación con el cual haya aprendido. El lector juicioso logrará una visión renovada de la teoría y la práctica del diseño de programas, al igual que la seguridad de desarrollar programas correctos y eficientes.