তাত্ত্বিক কম্পিউটার বিজ্ঞান
তাত্ত্বিক কম্পিউটার বিজ্ঞান (Theoretical Computer Science) হল কম্পিউটার বিজ্ঞান এবং গণিতের একটি উপশাখা যা হিসাব সংক্রান্ত গাণিতিক বিষয়গুলিতে মনোনিবেশ করে এবং একই সাথে গণনার তত্ত্ব (Theory of Computation) অন্তর্ভুক্ত করে। তাত্ত্বিক বিষয়গুলি যথাযথভাবে উপস্থাপন করা কঠিন। ACM' এর অ্যালগরিদম এবং গণনা তত্ত্বের উপর বিশেষ আগ্রহী গ্রুপ (Special Interest Group on Algorithms and Computation Theory) নিম্নলিখিতভাবে বিষয়টি বিবৃত করেছেঃ তাত্ত্বিক কম্পিউটার বিজ্ঞানে বিভিন্ন রকমের গাণিতিক বিষয় আলোচিত হয়, যার ভিতর রয়েছে অ্যালগরিদম, ডেটা স্ট্রাকচারস, গাণিতিক জটিলতা, সমান্তরাল এবং বিতরণকৃত গণনা, সম্ভাব্য গণনা, কোয়ান্টাম গণনা, অটোমাটা তত্ত্ব, তথ্য তত্ত্ব, ক্রিপ্টোগ্রাফি, প্রোগ্রাম শব্দার্থক ও যাচাইকরণ, মেশিন লার্নিং, কম্পিউটেশনাল বায়োলজি, কম্পিউটেশনাল ইকোনমিক্স, গাণিতিক জ্যামিতি, গাণিতিক সংখ্যা তত্ত্ব এবং বীজগণিত। এই ক্ষেত্রে কাজ প্রায়শই গাণিতিক কৌশল এবটিলতারতার উপর ভিত্তি করে আলাদা করা হয়।