ラムダ計算に関するウィキペディアのエントリは興味深いものでしたが、私はそれを終了しました。もう少し深く掘り下げて、ラムダ計算について理解を深めたいと思います。
ラムダ計算の最高の本または入門書であると彼らが考えるものを誰かが推薦できますか？
Simucal
質問する
19813 次
8 に答える
28
ウィキペディアのエントリが完了したら、オンラインのコンピュータプログラムの構造と解釈へのリンクをたどるか、割り当てを行うか、本を読んでください。
于 2009-02-05T11:02:13.860 に答える
16
まあ、常にラムダ計算の紹介があります。何度か読んでみましたが、いつも行き詰まりました。私はこのようなことのほとんどをすでに知っているのではないかとしつこく感じています.数学ではなくLisp/Schemeの観点から提示された場合、おそらく理解しやすいでしょう. しかし、あなたはより良い運を持っているかもしれません:)
于 2009-02-05T11:42:56.070 に答える
12
クリス・ハンキンによる「コンピューター科学者のためのラムダ計算の紹介」はかなり良いと思いましたが、実際には1つのクラスでしか使用しませんでした。実際には使用しませんでした:)
于 2009-02-05T11:30:54.363 に答える
5
私が実際にラムダ計算を使用し、理解し始めたきっかけとなった本は、Blackburn と Bos による「Representation and Inference for Natural Language」でした。Prologを使った自然言語処理の本です。あなたが検討するかもしれない別の本は、アレンによる「自然言語理解」です。最後に、ラムダ計算が好きな人は、コンビネータをラムダ式として定義できるため、おそらく組み合わせロジックも楽しめるでしょう。これについては、Smullyan のパズルの本「To Mock A Mockingbird」を強くお勧めします。最後に、彼はコンビネータを使用して初歩的なプログラミング言語を構築します。
于 2013-03-15T15:21:33.727 に答える
5
私は最近、グレッグ・マイケルソンによる「ラムダ計算による関数型プログラミングの紹介」というタイトルの本を Amazon から購入しました。関数型プログラミングの入門書であり、ラムダ計算も紹介しています。第一印象はかなり良いです。自己完結型で読みやすい本。ここでは、PostScript のインデックスなしの無料バージョンをダウンロードできます。
于 2012-09-27T11:14:49.110 に答える
5
理想的には、パーサーではなく言語の組み込み構文を使用して、関数型言語でラムダ計算インターペッターを作成してみてください。これは驚くほど簡単で、気分を良くする良い方法です。
于 2009-02-05T16:38:01.700 に答える
5
ラムダ計算自体の主題に関するリファレンスは、まだBarendregt の本だと思います。
それを超えて、ラムダ計算のどの「部分」に興味があるかに大きく依存します。証明理論？用語書き換え？関数型プログラミング?
これらはそれぞれそれ自体が分野であり、すべてを網羅した本は知りません。
于 2009-02-05T12:15:34.693 に答える
2
これは素晴らしい説明です (Scheme を使用): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf
そして、再帰的な階乗を純粋なラムダ式に減らした (私のブログからの) 気の利いたビットがあります: http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx
楽しむ！
于 2010-12-17T01:00:50.633 に答える