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

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

গণনা সংক্রান্ত একটি পাঠ্যপুস্তক

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