Quali sono alcune risorse per l'apprendimento lambda calcolo? [chiuso]
-
21-08-2019 - |
Domanda
Quindi la voce di Wikipedia su Lambda Calcolo era interessante, ma ho finito. Auguro a tuffarsi un po 'più profondo e ottenere una migliore comprensione del lambda calcolo.
Qualcuno può consigliare ciò che essi considerano essere il miglior libro o primer per lambda calcolo?
Soluzione
Se si è fatto con la voce di Wikipedia, seguire il suo legame con la e interpretazione dei programmi per elaboratore , fare le assegnazioni, o leggere il libro .
Altri suggerimenti
Beh, c'è sempre Introduzione alla Lambda Calcolo . Ho provato a leggere un paio di volte, ma sempre rimasto bloccato. Ho la sensazione fastidiosa che so già la maggior parte di questa roba e probabilmente un tempo più facile capire se è stato presentato in termini di Lisp / sistema piuttosto che la matematica. Si potrebbe avere più fortuna, però:)
Ho trovato " Un'introduzione al Lambda Calcoli per Computer scienziati " di Chris Hankin di essere abbastanza buono, ma ho veramente solo usato per una classe - non ha usato nel mondo reale:)
Provare a scrivere un'interpetter lambda calcolo, idealmente in un linguaggio funzionale utilizzando la configurazione in sintassi del linguaggio, piuttosto che attraverso un parser. Questo è sorprendentemente facile e un buon modo per migliorare la vostra sensazione di esso.
Recentemente ho comprato un libro da Amazon intitolato come "Introduzione alla programmazione funzionale attraverso Lambda Calcolo " da Greg Michaelson. E 'più di un'introduzione alla programmazione funzionale e introduce anche lambda calcolo. La prima impressione è abbastanza buona. Un autonomo e facile da leggere il libro. Qui , è possibile scaricare la versione gratuita senza indice in PostScript.
Il libro che mi ha fatto iniziare a usare e capire lambda calcolo è stato "Rappresentazione e inferenza per il linguaggio naturale" di Blackburn e Bos. Si tratta di un libro sulla elaborazione del linguaggio naturale utilizzando Prolog. Un altro libro che si potrebbe prendere in considerazione è "comprensione del linguaggio naturale" di Allen. Infine, se vi piace lambda calcolo, si avrà probabilmente anche godere di logica combinatoria, come i combinatori possono essere definite come espressioni lambda. Per questo, vi raccomando vivamente il libro di Smullyan di enigmi, "per prendere in giro un Mockingbird". Verso la fine che usa i combinatori per costruire un linguaggio di programmazione rudimentale.
Credo che il riferimento in materia di lambda-calcolo in sé è ancora libro di Barendregt .
Al di là che più o meno dipende da ciò che "parte" del lambda-calcolo siete interessati a: digitazione? teoria della dimostrazione? termine riscrittura? programmazione funzionale?
Ognuno di questi è un campo in se stesso, e non so di qualsiasi libro che copre tutto.
Ecco una bella spiegazione (utilizzando Scheme): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf
Ed ecco un po 'nifty (dal mio blog), riducendo fattoriale ricorsiva per lambda puri: http://blogs.msdn.com /b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx
Buon divertimento!