Hodnotenie:
Kniha poskytuje komplexný úvod do diskrétnej matematiky cez optiku programovania v jazyku Haskell, čím sa abstraktné matematické pojmy stávajú pre programátorov prístupnejšie. Treba však poznamenať, že sa výrazne zameriava na matematiku, niekedy na úkor hlbšieho obsahu jazyka Haskell. Hoci je vysoko hodnotená pre svoju prehľadnosť a štruktúru, pre niektorých čitateľov môže byť bez predchádzajúcich znalostí programovania alebo formálnej logiky náročná.
Výhody:⬤ Poučné pre tých, ktorí majú zázemie v programovaní
⬤ prísny matematický obsah
⬤ efektívne využitie Haskellu na ilustráciu matematických pojmov
⬤ prístupný štýl písania
⬤ prínosné ako zdroj samoštúdia
⬤ podporuje pochopenie dôkazov prostredníctvom cvičení.
⬤ Nevhodné pre začiatočníkov v programovaní alebo matematike
⬤ miestami prílišné zameranie na matematický formalizmus
⬤ vyžaduje doplnkové zdroje Haskellu pre úplné pochopenie
⬤ niektoré problémy s tlačou, veľkosťou písma a rozložením
⬤ prítomné drobné chyby, ktoré môžu narušiť proces učenia.
(na základe 25 čitateľských recenzií)
The Haskell Road to Logic, Maths and Programming. Second Edition
Keď kedysi dávno Alexander Veľký požiadal matematika Menaechma o rýchlokurz geometrie, dostal slávnu odpoveď K matematike nevedie kráľovská cesta. Tam, kde nebola skratka pre Alexandra, nie je skratka ani pre nás.
Napriek tomu skutočnosť, že máme prístup k počítačom a vyspelým programovacím jazykom, znamená, že pre nás existujú cesty, ktoré boli dávnym kráľom a cisárom odopreté. Cieľom tejto knihy je naučiť logické a matematické uvažovanie v praxi a prepojiť logické uvažovanie s počítačovým programovaním v jazyku Haskell. Haskell vznikol v 90.
rokoch minulého storočia ako štandard pre lenivé funkcionálne programovanie, teda štýl programovania, v ktorom sa argumenty vyhodnocujú len vtedy, keď je ich hodnota skutočne potrebná.
Haskell je úžasný demonštračný nástroj pre logiku a matematiku, pretože jeho funkcionálny charakter umožňuje, aby implementácie zostali veľmi blízke konceptom, ktoré sa implementujú, zatiaľ čo lenivosť umožňuje hladké zaobchádzanie s nekonečnými dátovými štruktúrami. Táto kniha nepredpokladá, že čitateľ má predchádzajúce skúsenosti s programovaním alebo konštrukciou formálnych dôkazov, ale predpokladá sa oboznámenie sa s matematickou notáciou na úrovni stredoškolskej matematiky.
Všetko, čo je potrebné vedieť o matematickej argumentácii alebo programovaní, je vysvetlené priebežne. Po správnom preštudovaní materiálu v tejto knihe bude čitateľ schopný písať zaujímavé programy, zdôvodňovať ich správnosť a prehľadne ich dokumentovať. Čitateľ sa tiež naučí, ako štruktúrovane zostavovať matematické dôkazy a ako čítať a stráviť matematické dôkazy napísané inými.
Toto je aktualizované, rozšírené a opravené druhé vydanie uznávanej učebnice. Chvála prvého vydania: "Doetsova a van Eijckova kniha The Haskell Road to Logic, Maths and Programming'' je úžasne rozsiahla a prístupná učebnica logiky, matematiky a Haskellu. Ralf Laemmel, profesor informatiky, Univerzita Koblenz-Landau.