הבדלים בין גרסאות בדף "שיחה:תחשיב למדא"

נוספו 731 בתים ,  לפני שנתיים
(←‏ערך שגוי לגמרי: פסקה חדשה)
:השאלה איך מוגדר הטוח. אם הטוח הוא זוגות סדורים, שבו (1,2) ו (2,1) אינם זהים, אז העתקה f שבה f(1) מועתק ל (1,2), וגם ל (2,1), אינה פונקציה. אך אם הטוח הוא קבוצה של זוגות (שאינם סדורים), אז העתקה f שבה f(1) מועתק ל {1,2}, שזהה ל {2,1}, היא כן פונקציה. הדרישה לחד ערכיות כבר מובנית בהגדרת הפונקציה. {{אלמ}}
: נכון, כך צריך לדרוש. [[משתמש:עוזי ו.|עוזי ו.]] - [[שיחת משתמש:עוזי ו.|שיחה]] 20:33, 28 באפריל 2018 (IDT)
 
== ערך שגוי לגמרי ==
 
הערך כרגע לא "חסר" כי הוא לא עוסק במודל החישובי - אלא שגוי לגמרי. הוא מדבר על משהו אחר מתחשיב למדא - הוא מדבר על למדא ככתיב פורמלי לפונקציות. אבל זה לא תחשיב למדא - בתחשיב למדא הפעולות המותרות היחידות הן הפעלה (אפליקציה) והוספת למדא (אבסטרקציה) על משתנים, ולכן למשל הביטוי "למדא איקס. שורש איקס" פשוט לא יכול להופיע. אולי כדאי להעביר את הערך הזה ל"סימון למדא" ואת הערך "תחשיב למדא" להשאיר אדום.
משתמש אלמוני