တွက်ချက်နိုင်စွမ်းသီအိုရီ
ပုံပန်းသွင်ပြင်
တွက်ချက်နိုင်စွမ်း သီအိုရီ (computability theory) (သို့မဟုတ်) ထပ်ပြန်ကျော့ သီအိုရီ (recursion theory) ဆိုသည်မှာ သင်္ချာ၊ သဘောတရားဆိုင်ရာ ကွန်ပျူတာသိပ္ပံ (theoretical computer science) စသည့် ဘာသာရပ်များ၏ ဘာသာခွဲတစ်ခု ဖြစ်သည်။ တွက်ချက်နိုင်သော (computable) ဖန်ရှင် (function) တစ်ခု၊ သို့မဟုတ် အစု (set) တစ်ခု ဆိုသည်မှာ အဘယ်နည်း၊ ၎င်းတို့၏ တွက်ချက်နိုင်စွမ်းအပေါ်မူတည်၍ မည်သို့ အဆင့် ခွဲခြားနိုင်သနည်း ဆိုသည့် မေးခွန်းများကို လေ့လာသည့် ဘာသာရပ်ဖြစ်သည်။
ကိုးကား
[ပြင်ဆင်ရန်]- Weber၊ Rebecca (2011)၊ Math 29: Computability Theory (PDF)၊ Darthmouth College၊ January 31, 2015 တွင် ပြန်စစ်ပြီး
ဤ သင်္ချာနှင့် သက်ဆိုင်သော ဆောင်းပါးမှာ ဆောင်းပါးတိုတစ်ပုဒ် ဖြစ်သည်။ ဖြည့်စွက်ရေးသားခြင်းဖြင့် မြန်မာဝီကီပီးဒီးယားကို ကူညီပါ။ |