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

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