שיחה:תחשיב למדא

תגובה אחרונה: לפני חודשיים מאת אקסינו בנושא למדא או למבדא?
הוספת נושא

בחלק של כלל אטה צריך להוסיף בנוסחא האחרונה את "לכל a". הייתי עושה את זה בעצמי, אבל לא הצלחתי להבין את התחביר הנדרש עבור forall.

זה אכן נשמט בטעות. תיקנתי את זה. התחביר אגב, טריוויאלי: \forall וזה נראה כך . Star of David.svg_MathKnight_ (שיחה) 01:01, 19 יולי 2005 (UTC)

למדא או למבדא?עריכה

באנגלית זה נקרא en:Lambda Calculus, וגם הערך על האות בעברית נקרא למבדא. בינתיים שיניתי רק את הקישור על המילים "למדא" מיוונית ללמבדא, אבל אולי כדאי לשנות בכל הטקסט ללמבדא ולהעביר(נשמעת כמו משימה לבוט ההחלפות), לא? conio.hשיחה 10:54, 13 פברואר 2006 (UTC)

מכיוון ש"למבדא" הוא שם האות, אפשר להעביר ולתקן בלי לערוך דיונים מסובכים. טופל. עוזי ו. 00:38, 2 מרץ 2006 (UTC)
לאחר שהוחלט לקרוא לאות למדא, אני מציע להעביר גם את הערך הזה לתחשיב למדא. ‏odedee שיחה 12:21, 14 ביוני 2010 (IDT)תגובה[תגובה]
מסכים, גם פה וגם בבקטריופאג' למבדאגיל כ. (שיחה) ♠ 12:27, 14 ביוני 2010 (IDT)תגובה[תגובה]
מסכים. אקסינו - שיחה 17:03, 14 ביולי 2022 (IDT)תגובה[תגובה]

נראה לי שחסר כאן משהועריכה

כל הקשר של הנושא לחישוביות בכלל ומדעי המחשב בפרט פשוט לא קיים. גדי אלכסנדרוביץ' 10:36, 20 בספטמבר 2007 (IST)תגובה[תגובה]

הגדרת פונקציהעריכה

בהגדרה של מושג הפונקציה, לא צריך לדרוש שלכל אבר בתחום יותאם אבר יחיד בטווח?

השאלה איך מוגדר הטוח. אם הטוח הוא זוגות סדורים, שבו (1,2) ו (2,1) אינם זהים, אז העתקה f שבה f(1) מועתק ל (1,2), וגם ל (2,1), אינה פונקציה. אך אם הטוח הוא קבוצה של זוגות (שאינם סדורים), אז העתקה f שבה f(1) מועתק ל {1,2}, שזהה ל {2,1}, היא כן פונקציה. הדרישה לחד ערכיות כבר מובנית בהגדרת הפונקציה. ―אנונימי לא חתם מש:אנונימי 00:00, 10 בינואר 2000 (IST)תגובה[תגובה]
נכון, כך צריך לדרוש. עוזי ו. - שיחה 20:33, 28 באפריל 2018 (IDT)תגובה[תגובה]

ערך שגוי לגמריעריכה

הערך כרגע לא "חסר" כי הוא לא עוסק במודל החישובי - אלא שגוי לגמרי. הוא מדבר על משהו אחר מתחשיב למדא - הוא מדבר על למדא ככתיב פורמלי לפונקציות. אבל זה לא תחשיב למדא - בתחשיב למדא הפעולות המותרות היחידות הן הפעלה (אפליקציה) והוספת למדא (אבסטרקציה) על משתנים, ולכן למשל הביטוי "למדא איקס. שורש איקס" פשוט לא יכול להופיע. אולי כדאי להעביר את הערך הזה ל"סימון למדא" ואת הערך "תחשיב למדא" להשאיר אדום.

דיווח שאורכב ב-11 במאי 2022עריכה

דיווח מהדף ויקיפדיה:דיווח על טעויות

בפיסקה הראשונה: "תחשיב למדא הוא מודל חישובי, שעל פי תזת צ'רץ'-טיורינג הוא שלם טיורינג" - נראה שהוא שלם טיורינג בלי קשר לתזה.

MathKnight, תוכל לבדוק את הדיווח? (הבדלים בגרסאות). פוליתיאורי - שיחה 05:01, 9 במאי 2022 (IDT)תגובה[תגובה]
חזרה לדף "תחשיב למדא".