الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 14/40
How can you describe the predecessor function 'pred' in lambda calculus?
def pred = λn.(((iszero n) one) (n select_second))
def pred = λn.(((iszero n) zero) (n select_second))
def pred = λn.(((iszero n) zero) (n select_first))
def pred = λn.(((iszero n) n) (n select_first))
Previous
Next