{"product_id":"the-haskell-road-to-logic-maths-and-programming-second-edition-9780954300692","title":"La carretera de Haskell a la lógica, las matemáticas y la programación. Segunda edición","description":"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\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-89560\"\u003eKees Doets\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-3394759\"\u003eVan Jan Eijck\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e College Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 07\/05\/2004\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 450\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.51lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21h x 6.14w x 1.00d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780954300692\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0954300696\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"College Publications","offers":[{"title":"Default Title","offer_id":44347223802093,"sku":"9780954300692","price":37.33,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_668182e6-82af-41bb-87c9-5220c9a48d2e.jpg?v=1698511866","url":"https:\/\/sureshotbooks.com\/es\/products\/the-haskell-road-to-logic-maths-and-programming-second-edition-9780954300692","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}