তাত্ত্বিক কম্পিউটার বিজ্ঞান
তাত্ত্বিক কম্পিউটার বিজ্ঞান (Theoretical Computer Science) হল কম্পিউটার বিজ্ঞান এবং গণিতের একটি উপশাখা যা হিসাব সংক্রান্ত গাণিতিক বিষয়গুলিতে মনোনিবেশ করে এবং একই সাথে গণনার তত্ত্ব (Theory of Computation) অন্তর্ভুক্ত করে।
তাত্ত্বিক বিষয়গুলি যথাযথভাবে উপস্থাপন করা কঠিন। ACM' এর অ্যালগরিদম এবং গণনা তত্ত্বের উপর বিশেষ আগ্রহী গ্রুপ (Special Interest Group on Algorithms and Computation Theory) নিম্নলিখিতভাবে বিষয়টি বিবৃত করেছেঃ [১]
তাত্ত্বিক কম্পিউটার বিজ্ঞানে বিভিন্ন রকমের গাণিতিক বিষয় আলোচিত হয়, যার ভিতর রয়েছে অ্যালগরিদম, ডেটা স্ট্রাকচারস, গাণিতিক জটিলতা, সমান্তরাল এবং বিতরণকৃত গণনা, সম্ভাব্য গণনা, কোয়ান্টাম গণনা, অটোমাটা তত্ত্ব, তথ্য তত্ত্ব, ক্রিপ্টোগ্রাফি, প্রোগ্রাম শব্দার্থক ও যাচাইকরণ, মেশিন লার্নিং, কম্পিউটেশনাল বায়োলজি, কম্পিউটেশনাল ইকোনমিক্স, গাণিতিক জ্যামিতি, গাণিতিক সংখ্যা তত্ত্ব এবং বীজগণিত। এই ক্ষেত্রে কাজ প্রায়শই গাণিতিক কৌশল এবটিলতারতার উপর ভিত্তি করে আলাদা করা হয়।
ইতিহাস সম্পাদনা
অনুগ্রহ করে এই নিবন্ধ বা অনুচ্ছেদটি সম্প্রসারণ করে এর উন্নতিতে সহায়তা করুন। অতিরিক্ত তথ্যের জন্য আলাপ পাতা দেখতে পারেন।
|
তথ্যসূত্র সম্পাদনা
আরও পড়ুন সম্পাদনা
- Martin Davis, Ron Sigal, Elaine J. Weyuker, Computability, complexity, and languages: fundamentals of theoretical computer science, 2nd ed., Academic Press, 1994, আইএসবিএন ০-১২-২০৬৩৮২-১. Covers theory of computation, but also program semantics and quantification theory. Aimed at graduate students.
বহিঃসংযোগ সম্পাদনা
- SIGACT directory of additional theory links
- Theory Matters Wiki ওয়েব্যাক মেশিনে আর্কাইভকৃত ১৯ জুন ২০১৭ তারিখে Theoretical Computer Science (TCS) Advocacy Wiki
- List of academic conferences in the area of theoretical computer science at confsearch
- Theoretical Computer Science - StackExchange, a Question and Answer site for researchers in theoretical computer science
- Computer Science Animated
- http://theory.csail.mit.edu/ @ Massachusetts Institute of Technology