פונקציית קורי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
MathKnight (שיחה | תרומות) |
מ ←דוגמאות: שינוי הגדרת פונקציה לא פורמלית להגדרה באמצעות תחשיב למדא |
||
שורה 29:
: <math>f(3,4) = 3 + 4 = 7</math>
בעוד ש-
: <math>f^\mathrm{Cu}(3) = \lambda y. 3 + y</math>
וזו פונקציה במשתנה y שבו אפשר להציב ערכים, למשל:
: <math>f^\mathrm{Cu}(3)(4) = ( \lambda y. 3 + y )(4) = 3 + 4 = 7</math>.
| |||