Bewertung:
Das Buch bietet eine umfassende Einführung in die diskrete Mathematik durch die Brille der Haskell-Programmierung und macht abstrakte mathematische Konzepte für Programmierer zugänglicher. Es ist jedoch anzumerken, dass der Schwerpunkt stark auf der Mathematik liegt, was manchmal auf Kosten des tieferen Haskell-Inhalts geht. Obwohl das Buch wegen seiner Klarheit und Struktur sehr geschätzt wird, könnte es für manche Leser ohne Vorkenntnisse in Programmierung oder formaler Logik eine Herausforderung darstellen.
Vorteile:⬤ Aufschlussreich für diejenigen mit Programmierkenntnissen
⬤ Strenger mathematischer Inhalt
⬤ Effektive Verwendung von Haskell zur Veranschaulichung mathematischer Konzepte
⬤ Anschaulicher Schreibstil
⬤ Nützlich für das Selbststudium
⬤ Fördert das Verständnis von Beweisen durch Übungen.
⬤ Nicht geeignet für Anfänger im Programmieren oder in der Mathematik
⬤ manchmal zu viel Fokus auf mathematischen Formalismus
⬤ erfordert zusätzliche Haskell-Ressourcen für vollständiges Verständnis
⬤ einige Druckprobleme mit Schriftgröße und Layout
⬤ kleinere Fehler, die den Lernprozess stören könnten.
(basierend auf 25 Leserbewertungen)
The Haskell Road to Logic, Maths and Programming. Second Edition
Als Alexander der Große vor langer Zeit den Mathematiker Menachmus um einen Crashkurs in Geometrie bat, erhielt er die berühmte Antwort: "Es gibt keinen Königsweg zur Mathematik. Wo es für Alexander keine Abkürzung gab, gibt es auch für uns keine Abkürzung.
Dennoch bedeutet die Tatsache, dass wir Zugang zu Computern und ausgereiften Programmiersprachen haben, dass es für uns Wege gibt, die den Königen und Kaisern von einst verwehrt waren. Das Ziel dieses Buches ist es, Logik und mathematisches Denken in der Praxis zu lehren und logisches Denken mit Computerprogrammierung in Haskell zu verbinden. Haskell entstand in den 1990er Jahren als Standard für träge funktionale Programmierung, ein Programmierstil, bei dem Argumente nur dann ausgewertet werden, wenn der Wert tatsächlich benötigt wird.
Haskell ist ein wunderbares Demonstrationswerkzeug für Logik und Mathematik, weil sein funktionaler Charakter es ermöglicht, dass die Implementierungen sehr nah an den Konzepten bleiben, die implementiert werden, während die Trägheit einen reibungslosen Umgang mit unendlichen Datenstrukturen erlaubt. Dieses Buch setzt nicht voraus, dass der Leser Vorkenntnisse im Programmieren oder in der Konstruktion von formalen Beweisen hat, aber es wird vorausgesetzt, dass er mit der mathematischen Notation auf dem Niveau der Sekundarstufe Mathematik vertraut ist.
Alles, was man über mathematisches Denken oder Programmieren wissen muss, wird im Verlauf des Buches erklärt. Nachdem der Leser das Material in diesem Buch gründlich verdaut hat, wird er in der Lage sein, interessante Programme zu schreiben, ihre Korrektheit zu begründen und sie auf klare Weise zu dokumentieren. Der Leser wird auch gelernt haben, wie man mathematische Beweise strukturiert aufbaut und wie man mathematische Beweise, die von anderen geschrieben wurden, liest und verdaut.
Dies ist die aktualisierte, erweiterte und korrigierte zweite Auflage eines vielgelobten Lehrbuchs. Lob für die erste Auflage: "Doets und van Eijck's The Haskell Road to Logic, Maths and Programming'' ist ein erstaunlich umfangreiches und zugängliches Lehrbuch über Logik, Mathematik und Haskell.' Ralf Laemmel, Professor für Informatik, Universität Koblenz-Landau.
| ISBN: | 9780954300692 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
