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