এই প্রশ্নের উদ্দেশ্য হ'ল তাত্ত্বিক কম্পিউটার বিজ্ঞান থেকে উদাহরণ সংগ্রহ করা যেখানে কম্পিউটারের পদ্ধতিগত ব্যবহার সহায়ক ছিল
- এমন একটি অনুমান তৈরির ক্ষেত্রে যা উপপাদ্যকে নিয়ে যায়,
- অনুমান বা প্রমাণের পদ্ধতির মিথ্যা বলা,
- একটি প্রমাণ নির্মাণ / যাচাই (অংশ)।
আপনার যদি সুনির্দিষ্ট উদাহরণ থাকে তবে দয়া করে এটি কীভাবে হয়েছিল তা বর্ণনা করুন। সম্ভবত এটি অন্যকে তাদের প্রতিদিনের গবেষণায় আরও কার্যকরভাবে কম্পিউটার ব্যবহার করতে সহায়তা করবে (এটি এখনও টিসিএসে একটি মোটামুটি অস্বাভাবিক অনুশীলন বলে মনে হয়)।
(কোনও "সঠিক" উত্তর নেই বলে সম্প্রদায় উইকি হিসাবে চিহ্নিত করা হয়েছে।)
আমার বলা উচিত আমি বিশেষত (1) এবং (2) এর উদাহরণগুলিতে আগ্রহী। এটি হ'ল কম্পিউটারগুলি মানুষের অন্তর্নিহিতাকে জটিল উপায়ে রূপ দিতে সহায়তা করেছিল।
—
মরিটজ
এই প্রশ্নের আরও সাম্প্রতিক উত্তরগুলির কয়েকটি, তালিকার শেষে, দুর্দান্ত এবং পড়ার জন্য উপযুক্ত। আমি শেষ পর্যন্ত পড়া পরামর্শ!
—
আন্দ্রেস সালামন
fyi গণিত প্রবাহের অনুরূপ, আকর্ষণীয় অনুমান কম্পিউটার দ্বারা "আবিষ্কার" এবং মানুষের দ্বারা প্রমাণিত?
—
vzn