A Lambda-kalkulus. Szintaxis és szemantika

Olvasói vélemények

A könyv a lambda-számítás nagyra értékelt referenciája, különösen alkalmas szakemberek és egyetemi oktatók számára. Átfogó és jól megírt, de jelentős hozzáférhetőségi és fordítási minőségi problémákkal küzd.

⬤ A lambda-számítás átfogó és mélyreható feldolgozása
⬤ jól használható szakemberek és komoly hallgatók számára
⬤ tankönyvként szolgál a felsőfokú kurzusokon
⬤ a terület klasszikus műveként tartják számon.

⬤ Nehezen olvasható és érthető, különösen azok számára, akik nem rendelkeznek erős matematikai háttérrel
⬤ gyenge fordítási minőség, számos hibával
⬤ nem ideális programozók vagy gyakorlati alkalmazásokat keresők számára.

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

Eredeti címe:

The Lambda Calculus. Its Syntax and Semantics

Könyv tartalma:

A Lambda-kalkulus, amelyet ebben a könyvben főként a tipizálatlan változatában tárgyalunk, kifejezések gyűjteményéből, úgynevezett lambda-terminusokból áll, valamint ezek átírásának és azonosításának módjaiból. Az átalakítás, redukció, elméletek és modellek részekben a szemlélet "algebrai", számítási, több ("koinduktív") azonosítással, végül halmazelméleti.

A lambda-terminusok változókból épülnek fel, alkalmazás és absztrakció segítségével. Egy F terminus M-re való alkalmazásának az a szándéka, hogy F egy függvény, M az argumentuma, FM pedig az alkalmazás eredménye. Ez csak a szándék: ahhoz, hogy ténylegesen megkapjuk az eredményt, az FM kifejezést a redukciós szabályoknak megfelelően át kell írnunk.

Az absztrakció módot ad arra, hogy a függvényeket az alkalmazásukkor fellépő hatásnak megfelelően hozzuk létre. Az elmélet ereje abból fakad, hogy a számítások, mind a termináló, mind a végtelen számítások, az absztrakció "kényelmes" szintjén lambda kifejezésekkel fejezhetők ki.