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