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