တွက်ချက်နိုင်စွမ်းသီအိုရီ

တွက်ချက်နိုင်စွမ်း သီအိုရီ (computability theory) (သို့မဟုတ်) ထပ်ပြန်ကျော့ သီအိုရီ (recursion theory) ဆိုသည်မှာ သင်္ချာ၊ သဘောတရားဆိုင်ရာ ကွန်ပျူတာသိပ္ပံ (theoretical computer science) စသည့် ဘာသာရပ်များ၏ ဘာသာခွဲတစ်ခု ဖြစ်သည်။ တွက်ချက်နိုင်သော (computable) ဖန်ရှင် (function) တစ်ခု၊ သို့မဟုတ် အစု (set) တစ်ခု ဆိုသည်မှာ အဘယ်နည်း၊ ၎င်းတို့၏ တွက်ချက်နိုင်စွမ်းအပေါ်မူတည်၍ မည်သို့ အဆင့် ခွဲခြားနိုင်သနည်း ဆိုသည့် မေးခွန်းများကို လေ့လာသည့် ဘာသာရပ်ဖြစ်သည်။

ကိုးကားပြင်ဆင်