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

נוספו 4 בתים ,  לפני 8 שנים
מ
תיקון קישור פנימי
מ (תיקון קישור פנימי)
{{השלמה|כל הערך=כן|סיבה=עוסק רק בפורמליזם ולא במודל החישובי}}
'''תחשיב למְבְּדא''' הוא צורה לוגית-פורמלית [[ריגורוזיריגורוזיות|ריגורוזית]] להצגה וטיפול ב[[פונקציה|פונקציות]] ב[[מתמטיקה]] ו[[מדעי המחשב]]. תחשיב למבדא הוא נושא בעל חשיבות ב[[לוגיקה מתמטית]] ([[תורת הטיפוסים]]), [[יסודות המתמטיקה]], [[מדעי המחשב]] התאורטיים, ב[[תכנות פונקציונלי]] וב[[מערכת הוכחה אוטומטית|מערכות הוכחה אוטומטיות]].
 
== רקע ==