গণনীয়তা তত্ত্ব (কম্পিউটার বিজ্ঞান)

উইকিপিডিয়া, মুক্ত বিশ্বকোষ থেকে
Jump to navigation Jump to search

কম্পিউটার বিজ্ঞানে গণনীয়তা তত্ত্ব (ইংরেজি: Computability Theory) বলতে গণনা তত্ত্বের একটি শাখাকে বোঝায় যেখানে গণনার বিভিন্ন মডেল ব্যবহার করে কোন সমস্যাগুলি গণনামূলকভাবে সমাধান করা সম্ভব, তা বের করা করা হয়।

গণনীয়তা তত্ত্ব ও গণনামূলক জটিলতা তত্ত্ব পরস্পর সম্পর্কযুক্ত কিন্তু আলাদা এই অর্থে যে গণনামূলক জটিলতা তত্ত্বে কোন সমস্যা কত দক্ষভাবে সমাধান করা যায় তা নিয়ে গবেষণা করা হয়, সমস্যাটা আদৌ সমাধানযোগ্য কি না, তা নিয়ে নয়।