Droga Haskella do logiki, matematyki i programowania. Wydanie drugie

Opinie czytelników

Książka stanowi kompleksowe wprowadzenie do matematyki dyskretnej przez pryzmat programowania w języku Haskell, dzięki czemu abstrakcyjne koncepcje matematyczne stają się bardziej przystępne dla programistów. Należy jednak zauważyć, że skupia się ona w dużej mierze na matematyce, czasami kosztem głębszej treści Haskella. Choć książka jest wysoko ceniona za swoją przejrzystość i strukturę, niektórzy czytelnicy mogą uznać ją za trudną bez wcześniejszej wiedzy z zakresu programowania lub logiki formalnej.

⬤ Pouczająca dla osób z doświadczeniem w programowaniu
⬤ rygorystyczna treść matematyczna
⬤ efektywne wykorzystanie Haskella do zilustrowania pojęć matematycznych
⬤ przystępny styl pisania
⬤ korzystne jako źródło do samodzielnej nauki
⬤ zachęca do zrozumienia dowodów poprzez ćwiczenia.

⬤ Nieodpowiednia dla początkujących w programowaniu lub matematyce
⬤ zbyt duży nacisk na formalizm matematyczny
⬤ wymaga dodatkowych zasobów Haskella dla pełnego zrozumienia
⬤ pewne problemy z drukiem związane z rozmiarem czcionki i układem
⬤ drobne błędy, które mogą zakłócić proces uczenia się.

(na podstawie 25 opinii czytelników)

Oryginalny tytuł:

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

Zawartość książki:

Dawno temu, gdy Aleksander Wielki poprosił matematyka Menaechmusa o szybki kurs geometrii, otrzymał słynną odpowiedź: "Nie ma królewskiej drogi do matematyki". Tam, gdzie nie było drogi na skróty dla Aleksandra, nie ma drogi na skróty dla nas.

Mimo to fakt, że mamy dostęp do komputerów i dojrzałych języków programowania oznacza, że istnieją dla nas drogi, których odmówiono dawnym królom i cesarzom. Celem tej książki jest nauczenie logiki i rozumowania matematycznego w praktyce oraz połączenie logicznego rozumowania z programowaniem komputerowym w języku Haskell. Haskell pojawił się w latach 90.

jako standard leniwego programowania funkcjonalnego, stylu programowania, w którym argumenty są oceniane tylko wtedy, gdy ich wartość jest rzeczywiście potrzebna.

Haskell jest wspaniałym narzędziem demonstracyjnym dla logiki i matematyki, ponieważ jego funkcjonalny charakter pozwala implementacjom pozostać bardzo blisko koncepcji, które są implementowane, podczas gdy lenistwo pozwala na płynną obsługę nieskończonych struktur danych. Ta książka nie zakłada, że czytelnik ma wcześniejsze doświadczenie w programowaniu lub konstruowaniu formalnych dowodów, ale zakłada się znajomość notacji matematycznej na poziomie matematyki w szkole średniej.

Wszystko, co trzeba wiedzieć o rozumowaniu matematycznym lub programowaniu, jest wyjaśniane na bieżąco. Po odpowiednim przetrawieniu materiału zawartego w tej książce czytelnik będzie w stanie pisać interesujące programy, rozumować o ich poprawności i dokumentować je w przejrzysty sposób. Czytelnik nauczy się również, jak tworzyć dowody matematyczne w uporządkowany sposób oraz jak czytać i trawić dowody matematyczne napisane przez innych.

Jest to zaktualizowane, rozszerzone i poprawione drugie wydanie cieszącego się dużym uznaniem podręcznika. Pochwały za pierwsze wydanie: "The Haskell Road to Logic, Maths and Programming" Doetsa i van Eijcka to zdumiewająco obszerny i przystępny podręcznik logiki, matematyki i Haskella". Ralf Laemmel, profesor informatyki, Uniwersytet Koblenz-Landau.