ラムダ計算を学習するための前提条件（ある場合）を教えてもらえますか？
2622 次
2 に答える
8
それは本当にラムダ計算で何をしたいかによります。それがどのように機能するかを確認するためだけにそれを学びたいのであれば、実際には前提条件はありません。それはかなり自己完結型です。ただし、それに関する証明（チューリング完全性、チャーチ数、正規化など）のいずれかを理解したい場合は、より多くの数学の前提条件が必要になる場合があります。特に、帰納法の証明技術、特に構造的帰納法の背景を提案したいと思います。ラムダ計算の楽しい結果のいくつかは計算不可能性を伴うため、停止性問題またはある種の不完全性定理について少し知っておくとよいでしょう。
于 2010-12-27T07:26:02.067 に答える
3
ラムダ計算自体を理解するための前提条件はありません。コンピューターサイエンティストではなく、再帰さえ知らない場合は、ここで約30分で（型指定されていない）ラムダ計算の基本を非公式に学ぶことができます：http：//palmstroem.blogspot.de/2012/05/lambda-calculus -for-absolute-dummies.html これにより、それが何をし、どのように機能するかについての実用的な直感が得られるはずです。
基本的な数学表記と再帰的定義に精通している場合は、標準的な紹介に進むことができます。特に、Haskellの基礎としてのラムダ計算について学びたい場合は、型付きラムダ計算の深さを掘り下げる必要があります：http ://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra /geuvers.pdf
于 2012-05-09T22:40:09.383 に答える