A Haskell út a logikához, a matematikához és a programozáshoz. Második kiadás

Olvasói vélemények

A könyv átfogó bevezetést nyújt a diszkrét matematikába a Haskell programozás szemüvegén keresztül, így az absztrakt matematikai fogalmak a programozók számára is könnyebben megközelíthetővé válnak. Megjegyzendő azonban, hogy a hangsúly erősen a matematikára helyeződik, néha a mélyebb Haskell-tartalom rovására. Bár a könyv nagyra értékelt a világossága és felépítése miatt, néhány olvasó számára kihívást jelenthet a programozás vagy a formális logika előzetes ismeretei nélkül.

⬤ Felvilágosító a programozói háttérrel rendelkezők számára
⬤ szigorú matematikai tartalom
⬤ a Haskell hatékony használata a matematikai fogalmak illusztrálására
⬤ megközelíthető írásmód
⬤ hasznos önképzési forrásként
⬤ a gyakorlatok segítségével ösztönzi a bizonyítások megértését.

⬤ Nem alkalmas kezdő programozóknak vagy matematikusoknak
⬤ időnként túlságosan a matematikai formalizmusra koncentrál
⬤ a teljes megértéshez kiegészítő Haskell-forrásokra van szükség
⬤ néhány nyomtatási probléma a betűmérettel és az elrendezéssel
⬤ kisebb hibák vannak jelen, amelyek megzavarhatják a tanulási folyamatot.

(25 olvasói vélemény alapján)

Eredeti címe:

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

Könyv tartalma:

Réges-régen, amikor Nagy Sándor a matematikustól, Menaechmustól kért egy gyorstalpaló tanfolyamot geometriából, azt a híres választ kapta: "A matematikához nincs királyi út". Ahol Sándor számára nem volt rövidebb út, ott számunkra sincs.

Mégis, az a tény, hogy hozzáférünk a számítógépekhez és a kiforrott programozási nyelvekhez, azt jelenti, hogy vannak olyan utak számunkra, amelyeket a hajdani királyok és császárok megtagadtak tőlünk. Ennek a könyvnek az a célja, hogy a logikát és a matematikai érvelést a gyakorlatban tanítsa, és összekapcsolja a logikai érvelést a számítógépes programozással a Haskell nyelvben. A Haskell az 1990-es években jelent meg a lusta funkcionális programozás szabványaként, egy olyan programozási stílusban, amelyben az argumentumok kiértékelése csak akkor történik meg, amikor az értékre ténylegesen szükség van.

A Haskell csodálatos demonstrációs eszköz a logika és a matematika számára, mert funkcionális jellege lehetővé teszi, hogy az implementációk nagyon közel maradjanak a megvalósított fogalmakhoz, míg a lustaság lehetővé teszi a végtelen adatszerkezetek zökkenőmentes kezelését. Ez a könyv nem feltételezi, hogy az olvasónak legyen korábbi tapasztalata sem a programozásban, sem a formális bizonyítások szerkesztésében, de a matematikai jelölések ismerete, a középiskolai matematika szintjén feltételezhető. Mindent, amit a matematikai érvelésről vagy a programozásról tudni kell, menet közben magyarázzuk el.

A könyv anyagának megfelelő feldolgozása után az olvasó képes lesz érdekes programokat írni, azok helyességéről érvelni, és azokat egyértelműen dokumentálni. Az olvasó azt is megtanulja majd, hogyan állíthat fel matematikai bizonyításokat strukturált módon, és hogyan olvashat és dolgozhat fel mások által írt matematikai bizonyításokat. Ez a könyv a nagy sikerű tankönyv frissített, bővített és javított második kiadása.

Az első kiadás dicsérete: "Doets és van Eijck The Haskell Road to Logic, Maths and Programming'' című könyve megdöbbentően átfogó és hozzáférhető tankönyv a logikáról, a matematikáról és a Haskellről". Ralf Laemmel, a Koblenz-Landaui Egyetem informatika professzora.