الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 3/156
What is the correct definition of a typed successor function?
SUCC N = MAKE_NUMB (succ (value N))
SUCC N = PRED (MAKE_NUMB N)
SUCC N = ADD (value N)
SUCC N = MULT (value N)
Previous
Next