তাত্ত্বিক কম্পিউটার বিজ্ঞানের মধ্যে গণনা সম্পর্কিত বিচ্ছিন্ন গণিতের ক্ষেত্রগুলি অন্তর্ভুক্ত।