تابع افراز
partition function
recursively enumerable
شمارش‌پذیر بازگشتی
recursion theorem
قضیه بازگشت
recursive saturation
اشباع بازگشتی
recursively undecidable
تصمیم‌ناپذیر بازگشتی
نظریه بازگشتی
recursive theory
توابع بازگشتی
recursive functions