lambda calculus - significado - ¿Cuáles son algunos recursos para aprender el cálculo de Lambda?
lambda symbol (8)
Entonces, la entrada de Wikipedia sobre el Cálculo de Lambda fue interesante, pero la terminé. Deseo profundizar un poco más y comprender mejor el Cálculo Lambda.
¿Alguien puede recomendar lo que ellos consideran el mejor libro o cartilla para Lambda Calculus?
Creo que la referencia sobre el tema del cálculo lambda en sí sigue siendo el libro de Barendregt .
texto alternativo http://ecx.images-amazon.com/images/I/41BRXJ7E7GL._SL500_AA240_.jpg
Más allá de eso, depende mucho de la "parte" del cálculo lambda que le interese: ¿mecanografía? teoría de la prueba? reescritura de términos? programación funcional?
Cada uno de estos es un campo en sí mismo, y no conozco ningún libro que lo cubra todo.
Bueno, siempre hay una introducción al cálculo lambda . Intenté leerlo algunas veces, pero siempre me quedé atascado. Tengo la sensación molesta de que ya sé la mayoría de estas cosas y que probablemente sería más fácil entenderlas si se presentaran en términos de Lisp / Scheme en lugar de matemáticas. Podrías tener mejor suerte, sin embargo :)
Encontré " Una introducción a Lambda Calculi for Computer Scientists " de Chris Hankin para ser bastante bueno, pero solo lo usé para una clase, no lo usé en el mundo real :)
texto alternativo http://ecx.images-amazon.com/images/I/4165AQ4AF8L._SL500_AA240_.jpg
Intente escribir un intérprete de cálculo lambda, idealmente en un lenguaje funcional utilizando la sintaxis del lenguaje en lugar de a través de un analizador sintáctico. Esto es sorprendentemente fácil y una buena manera de mejorar su sensación.
Si ha terminado con la entrada de Wikipedia, siga su enlace a la estructura e interpretación en línea de los programas de computadora , haga las asignaciones o lea el libro .
texto alternativo http://mitpress.mit.edu/images/products/books/0262011530-medium.jpg
Aquí hay una buena explicación (usando Scheme): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf
Y aquí hay un poco ingenioso (de mi blog), reduciendo factoriales recursivos a lambdas puros: http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx
¡Que te diviertas!
Hace poco compré un libro de Amazon titulado "Introducción a la programación funcional a través del cálculo lambda" de Greg Michaelson. Es más una introducción a la programación funcional y también introduce el cálculo lambda. La primera impresión es bastante buena. Un libro autónomo y fácil de leer. Aquí puede descargar la versión gratuita sin índice en PostScript.
El libro que realmente me hizo comenzar a utilizar y comprender el cálculo lambda fue "Representación e inferencia para el lenguaje natural" de Blackburn y Bos. Este es un libro sobre el procesamiento del lenguaje natural usando Prolog. Otro libro que podría considerar es "Natural Language Understanding" de Allen. Finalmente, si le gusta el cálculo lambda, probablemente también disfrutará de lógica combinatoria, ya que los combinators se pueden definir como expresiones lambda de argumento único. Para esto, recomiendo encarecidamente el libro de acertijos de Smullyan, "Mock A Mockingbird". Hacia el final, utiliza los combinadores para construir un lenguaje de programación rudimentario.