ラムダ計算を学習するための前提条件

Question

ラムダ計算を学ぶための前提条件は何ですか（もしあれば）誰か教えてもらえますか？

Answer 1

それは本当にあなたがラムダ計算で何をしたいのかに依存します。それがどのように機能するかを見るためだけにそれを学びたいなら、実際には前提条件ではありません。それはかなり自己完結型です。ただし、それに関する証拠のいずれかを理解したい場合（チューリングの完全性、教会の数字、正規化など）、さらに数学の前提条件が必要になる場合があります。特に、誘導証明技術、特に構造誘導の背景を提案します。また、Lambda計算での楽しい結果のいくつかは非計算可能性を伴うため、停止の問題またはある種の不完全性の定理について少し知っておくといいかもしれません。

Answer 2

ラムダ微積分自体を理解するための前提条件はありません。あなたがコンピューターの科学者ではなく、再帰さえ知らない場合、ここで約30分で非公式に（型型の）ラムダ計算の基本を学ぶことができます。 http://palmstroem.blogspot.de/2012/05/lambda-calculus-for-absolute-dummies.html これにより、それが何をするか、どのように機能するかについての実務的な直観が得られるはずです。

基本的な数学表記と再帰的定義に精通している場合は、標準的な紹介に行くことができます。特に、ハスケルの基礎としてラムダ微積分について学びたい場合は、タイプされたラムダ微積分の深さを掘り下げる必要があります。 http://www.cse.chalmers.se/research/group/logic/typesss05/extra/geuvers.pdf