La carretera de Haskell a la lógica, las matemáticas y la programación. Segunda edición

Hace mucho tiempo, cuando Alejandro Magno le pidió al matemático Menecmo un curso intensivo de geometría, recibió la famosa respuesta: "No hay un camino real hacia las matemáticas". Donde no hubo atajos para Alejandro, no los hay para nosotros. Sin embargo, el hecho de que tengamos acceso a computadoras y lenguajes de programación maduros significa que tenemos avenidas que les 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 donde los argumentos se evalúan solo cuando el valor es realmente necesario. Haskell es una herramienta de demostración maravillosa 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 asume que el lector tenga experiencia previa en programación o construcción de pruebas formales, pero se presume un conocimiento de la notación matemática, a nivel de matemáticas de secundaria. Todo lo que uno necesita saber sobre el razonamiento matemático o la programación se explica a medida que avanzamos. Después de una adecuada asimilación del material de este libro, el lector podrá escribir programas interesantes, razonar sobre su corrección y documentarlos de manera clara. El lector también habrá aprendido a establecer pruebas matemáticas de forma estructurada y a leer y asimilar pruebas 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: "The Haskell Road to Logic, Maths and Programming" de Doets y van Eijck es un libro de texto asombrosamente extenso y accesible sobre lógica, matemáticas y Haskell. Ralf Laemmel, Profesor de Ciencias de la Computación, Universidad de Koblenz-Landau

Autor: Kees Doets, Van Jan Eijck
Editorial: College Publications
Publicado: 07/05/2004
Páginas: 450
Tipo de encuadernación: Tapa blanda
Peso: 1.51lbs
Tamaño: 9.21h x 6.14w x 1.00d
ISBN13: 9780954300692
ISBN10: 0954300696
Categorías BISAC:
- Matemáticas | Lógica

Este título no es retornable