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

ဝီကီပီးဒီးယား မှ

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

ကိုးကား[ပြင်ဆင်ရန်]

  • Weber၊ Rebecca (2011)၊ Math 29: Computability Theory (PDF)၊ Darthmouth CollegeJanuary 31, 2015 တွင် ပြန်စစ်ပြီး