El camino de Haskell hacia la lógica, las matemáticas y la programación. Segunda edición

Opiniones de los lectores

El libro proporciona una introducción completa a las matemáticas discretas a través de la lente de la programación Haskell, haciendo que los conceptos matemáticos abstractos sean más accesibles para los programadores. Sin embargo, se observa que se centra mucho en las matemáticas, a veces a expensas de contenidos más profundos de Haskell. Aunque es muy apreciado por su claridad y estructura, algunos lectores pueden encontrarlo difícil sin conocimientos previos de programación o lógica formal.

⬤ Enlightening for those with a background in programming
⬤ rigorous mathematical content
⬤ effective use of Haskell to illustrate mathematical concepts
⬤ approachable writing style
⬤ beneficial as a self-study resource
⬤ encourages understanding of proofs through exercises.

⬤ No apto para principiantes en programación o matemáticas
⬤ demasiado centrado en el formalismo matemático a veces
⬤ requiere recursos Haskell complementarios para una comprensión completa
⬤ algunos problemas de impresión con el tamaño de la fuente y el diseño
⬤ errores menores presentes que podrían interrumpir el proceso de aprendizaje.

(basado en 25 opiniones de lectores)

Título original:

The Haskell Road to Logic, Maths and Programming. Second Edition

Contenido del libro:

Hace mucho tiempo, cuando Alejandro Magno pidió al matemático Menaechmus un curso acelerado de geometría, obtuvo la famosa respuesta "No hay camino real a las matemáticas". Donde no hubo atajo para Alejandro, tampoco lo hay para nosotros.

Aun así, el hecho de que tengamos acceso a ordenadores y lenguajes de programación maduros significa que existen vías para nosotros que fueron negadas a los reyes y emperadores de antaño. El propósito de este libro es enseñar lógica y razonamiento matemático en la práctica, y conectar el razonamiento lógico con la programación informática en Haskell. Haskell surgió en la década de 1990 como un estándar para la programación funcional perezosa, un estilo de programación en el que los argumentos se evalúan sólo cuando el valor es realmente necesario.

Haskell es una maravillosa herramienta de demostración para la lógica y las matemáticas porque su carácter funcional permite que las implementaciones se mantengan muy cerca de los conceptos que se implementan, mientras que la pereza permite un manejo fluido de estructuras de datos infinitas. Este libro no supone que el lector tenga experiencia previa ni en programación ni en construcción de demostraciones formales, pero se presupone un conocimiento de la notación matemática a nivel de matemáticas de secundaria. Todo lo que se necesita saber sobre razonamiento matemático o programación se explica a medida que se avanza.

Después de digerir adecuadamente el material de este libro, el lector será capaz de escribir programas interesantes, razonar sobre su corrección y documentarlos de forma clara. El lector también habrá aprendido a plantear demostraciones matemáticas de forma estructurada y a leer y digerir demostraciones matemáticas escritas por otros. Esta es la segunda edición actualizada, ampliada y corregida de un libro de texto muy aclamado.

Elogios para la primera edición: "El libro de Doets y van Eijck The Haskell Road to Logic, Maths and Programming'' es un libro de texto asombrosamente extenso y accesible sobre lógica, matemáticas y Haskell". Ralf Laemmel, catedrático de Informática, Universidad de Koblenz-Landau.