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

נוספו 4 בתים ,  לפני 10 שנים
מ (r2.7.1) (בוט מוסיף: is:Lambda-reikningur)
 
כאשר עובדים עם פונקציה נהוג לסמן או לרשום:
: תהי <math>\ f : A \to B</math> הפונקציה <math> \ f(x)</math> (אולמשל ב[[אנליזה מתמטית]] של פונקציות ממשיות: <math>\ f(x) = x^2</math> )...
אבל זו צורת רישום בזבזנית ולא מדויקת, שכן מבחינה לוגית, <math> \ f(x)</math> הוא לא פונקציה אלא מספר כלשהו! למרות שהסימונים המקובלים כיום הם לא חד-משמעיים, הם נפוצים בגלל ההרגל והנוחות שבהם.