Lambda kalkulus. Syntaxe a sémantika

Recenze čtenářů

Kniha je vysoce ceněnou příručkou o lambda kalkulu, vhodnou zejména pro odborníky a akademiky. Je obsáhlá a dobře napsaná, ale má značné problémy s přístupností a kvalitou překladu.

⬤ Komplexní a hluboké pojednání o lambda kalkulu
⬤ dobře se hodí pro odborníky i seriózní studenty
⬤ slouží jako učebnice v kurzech pro absolventy
⬤ je považována za klasické dílo v oboru.

⬤ Obtížná na čtení a pochopení, zejména pro ty, kteří nemají silné matematické zázemí
⬤ špatná kvalita překladu s četnými chybami
⬤ není ideální pro programátory nebo ty, kteří hledají praktické aplikace.

(na základě 8 hodnocení čtenářů)

Původní název:

The Lambda Calculus. Its Syntax and Semantics

Obsah knihy:

Lambda kalkul, který je v této knize zpracován především ve své netypizované verzi, se skládá z kolekce výrazů, tzv.

lambda termínů, spolu se způsoby jejich přepisu a identifikace. V částech konverze, redukce, teorie a modely se jedná o pohled "algebraický", respektive výpočetní, s více ("koinciduktivními") identifikacemi, a konečně množinově-teoretický.

Lmbda termíny jsou sestaveny z proměnných pomocí aplikace a abstrakce. Aplikace termínu F na M má v intencích toho, že F je funkce, M její argument a FM výsledek aplikace. To je však pouze záměr: abychom výsledek skutečně získali, musíme výraz FM přepsat podle redukčních pravidel.

Abstrakce poskytuje způsob, jak vytvářet funkce podle efektu při jejich aplikaci. Síla této teorie pramení z toho, že výpočty, a to jak ukončovací, tak nekonečné, lze vyjádřit pomocí lambda výrazů na "pohodlné" úrovni abstrakce.