تابع افراز
preferred label: partition function @en
type: Concept
related: توابع بازگشتی

شمارش‌پذیر بازگشتی
preferred label: recursively enumerable @en
type: Concept
narrower: توابع بازگشتی

قضیه بازگشت
preferred label: recursion theorem @en
type: Concept
related: توابع بازگشتی

اشباع بازگشتی
preferred label: recursive saturation @en
type: Concept
related: توابع بازگشتی

تصمیم‌ناپذیر بازگشتی
preferred label: recursively undecidable @en
type: Concept
related: توابع بازگشتی

نظریه بازگشتی
preferred label: recursive theory @en
type: Concept
related: توابع بازگشتی

توابع بازگشتی
preferred label: recursive functions @en
type: Concept
related: نظریه بازگشتی
related: اشباع بازگشتی
related: تصمیم‌ناپذیر بازگشتی
related: قضیه بازگشت
related: تابع افراز
broader: شمارش‌پذیر بازگشتی