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

הוסרו 6 בתים ,  לפני 6 שנים
מ
{{השלמה|כל הערך=כן|סיבה=עוסק רק בפורמליזם ולא במודל החישובי}}
'''תחשיב למדא''' (לעתים גם: '''תחשיב למְבְּדא''' [ב[[אנגלית]]: '''Lambda calculus''']) הוא צורה לוגית-פורמלית [[ריגורוזיות|ריגורוזית]] להצגה וטיפול ב[[פונקציה|פונקציות]] ב[[מתמטיקה]] ו[[מדעי המחשב]]. תחשיב למדא הוא נושא בעל חשיבות ב[[לוגיקה מתמטית]] ([[תורת הטיפוסים]]), [[יסודות המתמטיקה]], [[מדעי המחשב]] התאורטיים, ב[[תכנות פונקציונלי]] וב[[מערכת הוכחה אוטומטית|מערכות הוכחה אוטומטיות]].
 
== רקע ==
[[אם ורק אם]]
: <math>\ \forall a \in A \ : \quad \left( \lambda x . f(x) \right)(a) = \left( \lambda x . g(x) \right)(a) </math>
משמעותו היא ששתי פונקציות בעלות אותו תחום הגדרה A הן זהות אם ורק אם הינןהן זהות עבור כל הערכים בתחום הגדרה זה.
 
== ראו גם ==