Requisitos previos para el cálculo lambda de aprendizaje

Question

Puede alguien decirme cuáles son los requisitos previos para el aprendizaje de cálculo lambda (si los hay)?

Answer 1

Eso realmente depende de lo que quiere hacer con el cálculo lambda. Si quieres aprender sólo para ver cómo funciona en realidad no son requisitos previos; que es bastante autónomo. Sin embargo, si se quiere entender cualquiera de las pruebas de ello (Turing-completo, números de la Iglesia, normalización, etc.) que pueda necesitar más prereqs matemáticas. En particular, me gustaría sugerir una formación en técnicas de prueba inductiva, especialmente inducción estructural. También podría ser bueno saber un poco acerca de o bien el problema de la parada o algún tipo de teorema de incompletitud, ya que algunos de los resultados de la diversión con cálculo lambda implican no computabilidad.

Answer 2

No hay requisitos previos para la comprensión de la propia cálculo lambda. Si usted no es un científico de la computación y ni siquiera sabe recursividad, puede aprender los fundamentos de la (sin tipo) Lambda Cálculo de manera informal en unos 30 minutos aquí: http://palmstroem.blogspot.de/2012/05/lambda-calculus-for-absolute-dummies.html Esto debe darle una intuición de trabajo sobre lo que hace y cómo funciona.

Si no está familiarizado con las notaciones matemáticas básicas y definiciones recursivas, usted puede ir para una introducción estándar. Sobre todo, si quieres aprender sobre el cálculo lambda como base para Haskell, se debe ahondar en las profundidades de la mecanografiado cálculo lambda: http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf