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

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

[[פונקציה]] היא שלשה <math>\ ( f , A , B )</math> כאשר A הוא [[תחום הגדרה|תחום ההגדרה]], B הוא ה[[טווח של פונקציה|טווח]] (A ו-B הן [[קבוצה (מתמטיקה)|קבוצות]]) ואילו f הוא [[יחס]] מעל <math>\ A \times B</math> שמכיל את הזוגות הסדורים מהצורה <math>\ \left( a , f(a) \right)</math>. היחס f נקרא לעתיםלעיתים (באופן לא פורמלי) "כלל התאמה".