الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 10/19
What does β-reduction in λ calculus involve?
Replacing a function's bound variable with its argument.
Converting a function into an application.
Renaming functions to simplify expressions.
Adding new variables to a function.
Previous
Next