תחשיב למדא – הבדלי גרסאות

'''תחשיב למְבְּדא''' הוא צורה לוגית-פורמלית [[ריגורוזיריגורוזיות|ריגורוזית]] להצגה וטיפול ב[[פונקציה|פונקציות]] ב[[מתמטיקה]] ו[[מדעי המחשב]]. תחשיב למבדא הוא נושא בעל חשיבות ב[[לוגיקה מתמטית]] ([[תורת הטיפוסים]]), [[יסודות המתמטיקה]], [[מדעי המחשב]] התאורטיים, ב[[תכנות פונקציונלי]] וב[[מערכת הוכחה אוטומטית|מערכות הוכחה אוטומטיות]].