Der Haskell-Weg zu Logik, Mathematik und Programmierung. Zweite Auflage

Bewertung:   (4,4 von 5)

Der Haskell-Weg zu Logik, Mathematik und Programmierung. Zweite Auflage (Kees Doets)

Leserbewertungen

Zusammenfassung:

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.

Nachteile:

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)

Originaltitel:

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

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9780954300692
Autor:
Verlag:
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Der Haskell-Weg zu Logik, Mathematik und Programmierung. Zweite Auflage - The Haskell Road to Logic,...
Als Alexander der Große vor langer Zeit den...
Der Haskell-Weg zu Logik, Mathematik und Programmierung. Zweite Auflage - The Haskell Road to Logic, Maths and Programming. Second Edition

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)