The Lambda Calculus. Jego składnia i semantyka

Opinie czytelników

Książka jest wysoko cenionym źródłem informacji na temat rachunku lambda, szczególnie przydatnym dla profesjonalistów i pracowników akademickich. Jest wszechstronna i dobrze napisana, ale ma znaczące problemy z dostępnością i jakością tłumaczenia.

⬤ Kompleksowe i dogłębne podejście do rachunku lambda
⬤ dobrze nadaje się dla profesjonalistów i poważnych studentów
⬤ służy jako podręcznik na kursach podyplomowych
⬤ uważana za klasyczne dzieło w tej dziedzinie.

⬤ Trudna do przeczytania i zrozumienia, szczególnie dla osób bez silnego zaplecza matematycznego
⬤ słaba jakość tłumaczenia z licznymi błędami
⬤ nie jest idealna dla programistów lub osób szukających praktycznych zastosowań.

(na podstawie 8 opinii czytelników)

Oryginalny tytuł:

The Lambda Calculus. Its Syntax and Semantics

Zawartość książki:

Rachunek lambda, traktowany w tej książce głównie w wersji nieoznaczonej, składa się ze zbioru wyrażeń, zwanych terminami lambda, wraz ze sposobami ich przepisywania i identyfikowania. W częściach poświęconych konwersji, redukcji, teoriom i modelom spojrzenie jest odpowiednio "algebraiczne", obliczeniowe, z większą liczbą ("koindukcyjnych") identyfikacji, a na końcu - teorio-zbiorowe.

Terminy lambda są budowane ze zmiennych, przy użyciu aplikacji i abstrakcji. Zastosowanie terminu F do M ma na celu to, że F jest funkcją, M jej argumentem, a FM wynikiem zastosowania. Jest to tylko intencja: aby faktycznie uzyskać wynik, należy przepisać wyrażenie FM zgodnie z regułami redukcji.

Abstrakcja zapewnia sposób tworzenia funkcji zgodnie z efektem ich zastosowania. Siła teorii wynika z faktu, że obliczenia, zarówno kończące się, jak i nieskończone, można wyrazić za pomocą wyrażeń lambda na "wygodnym" poziomie abstrakcji.