Pré-requis pour le calcul apprentissage lambda

Question

Quelqu'un peut-il me dire quelles sont les conditions préalables à l'apprentissage du calcul lambda (le cas échéant)?

Answer 1

Cela dépend vraiment de ce que vous voulez faire avec le calcul lambda. Si vous voulez apprendre juste pour voir comment cela fonctionne, il n'y a pas vraiment les conditions préalables; il est assez autonome. Toutefois, si vous voulez comprendre l'une des preuves à ce sujet (Turing complet, chiffres Eglise, normalisation, etc.), vous pourriez avoir besoin plus prereqs mathématiques. En particulier, je vous suggère une formation en techniques de preuve inductives, notamment l'induction structurelle. Il pourrait aussi être agréable de connaître un peu le problème soit stopper ou une sorte de théorème incomplétude, puisque certains des résultats amusants avec lambda calcul impliquent non calculabilité.

Answer 2

Il n'y a aucune condition préalable à la compréhension du calcul Lambda elle-même. Si vous n'êtes pas un informaticien et ne savent même pas récursion, vous pouvez apprendre les rudiments de la (typées) Lambda Calcul informelle dans environ 30 minutes ici: http://palmstroem.blogspot.de/2012/05/lambda-calculus-for-absolute-dummies.html Cela devrait vous donner une intuition de travail sur ce qu'il fait et comment il fonctionne.

Si vous connaissez des notations mathématiques de base et les définitions récursives, vous pouvez aller pour une introduction standard. Surtout, si vous voulez en savoir plus sur le calcul Lambda comme base pour Haskell, vous devez plonger dans les profondeurs du Lambda typé Calcul: http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf