প্রশ্ন ট্যাগ «automated-theorem-proving»

4
গভীর নেটওয়ার্কগুলি উপপাদ্য প্রমাণের জন্য প্রশিক্ষণ দেওয়া যেতে পারে?
ধরুন আমাদের কাছে প্রথম অর্ডার প্রিফিকেট ক্যালকুলাসের প্রমাণ রয়েছে। ধরা যাক, সেই গণিতে সেই ক্ষেত্রটিতে আমাদেরও অক্ষরেখা, তাত্পর্য এবং উপপাদ্য রয়েছে। প্রতিটি প্রস্তাব যা প্রমাণিত হয়েছিল এবং বিদ্যমান তত্ত্বের মূল অংশটি সেই নির্দিষ্ট প্রস্তাবটিকে ঘিরে একটি প্রশিক্ষণ সংস্থার উদাহরণ হিসাবে এবং সম্পর্কিত লেবেল হিসাবে প্রস্তাবের জন্য একটি ভাল ভাল প্রমাণ …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.