Lambda calculus


Get Babylon's Translation Software! Free Download Now!

ויקיפדיה העבריתהורד מילון זה

תחשיב למבדא
תחשיב למְבְּדא הוא צורה לוגית-פורמלית ריגורוזית לטיפול בפונקציות.
להמשך המאמר ראה Wikipedia.org...

מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License


הגדר Lambda calculus

תרגם Lambda calculus




Lambda calculus בסינית | | Lambda calculus באנגלית | Lambda calculus בצרפתית | Lambda calculus באיטלקית | Lambda calculus בספרדית | Lambda calculus בהולנדית | Lambda calculus בפורטוגזית | Lambda calculus בגרמנית | Lambda calculus ברוסית | Lambda calculus ביפנית | Lambda calculus בGreek | Lambda calculus בקרואטית | Lambda calculus בסרבית