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

הוסרו 2 בתים ,  לפני 12 שנים
מ
בוט החלפות: תאוריה;
(←‏לקריאה נוספת: נוסף קישור לספרו של ארנון אברון המופץ ברישיון CC)
מ (בוט החלפות: תאוריה;)
'''תחשיב למְבְּדא''' הוא צורה לוגית-פורמלית [[ריגורוזי|ריגורוזית]] להצגה וטיפול ב[[פונקציה|פונקציות]] ב[[מתמטיקה]] ו[[מדעי המחשב]]. תחשיב למבדא הוא נושא בעל חשיבות ב[[לוגיקה מתמטית]] ([[תורת הטיפוסים]]), [[יסודות המתמטיקה]], [[מדעי המחשב]] התיאורטייםהתאורטיים, ב[[שפת מחשב פונקציונלית|שפות מחשב פונקציונליות]] וב[[מערכת הוכחה אוטומטית|מערכות הוכחה אוטומטיות]].
 
== רקע ==
271,876

עריכות