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

נוספו 808 בתים ,  לפני 12 שנים
בעקבות דבריו של תום פלג בדף שיחתי
מ (בוט מוסיף: ar:حسابات اللامدا)
(בעקבות דבריו של תום פלג בדף שיחתי)
'''תחשיב למְבְּדא''' הוא צורה לוגית-פורמלית [[ריגורוזי|ריגורוזית]] לטיפוללהצגה וטיפול ב[[פונקציה|פונקציות]] ב[[מתמטיקה]] ו[[מדעי המחשב]]. תחשיב למבדא הוא נושא בעל חשיבות ב[[לוגיקה מתמטית]] ([[תורת הטיפוסים]]), [[יסודות המתמטיקה]], [[מדעי המחשב]] התיאורטיים, ב[[שפת מחשב פונקציונלית|שפות מחשב פונקציונליות]] וב[[מערכת הוכחה אוטומטית|מערכות הוכחה אוטומטיות]].
 
== רקע ==
* [[כמת לוגי]]
* [[תחשיב הפרדיקטים]]
 
== לקריאה נוספת ==
 
* ארנון אברון, '''מבוא למתמטיקה בדידה''', הוצאת [[אוניברסיטת תל אביב]]
* '''The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103).''' Revised Edition H.P. Barendregt, Publisher: North Holland; Revised edition (November 15, 1985)