আপনি যদি গণিত ও গণনা বুঝতে চান আপনাকে প্রথমে জানতে হবে নৈয়মিক জগত (Formal World) কী। বিচ্ছিন্ন গণিতের (Discrete Mathematics) প্রথম পাঠ আমি শুরু করি নৈয়মিক জগত দিয়ে। নিয়মের জগত নিয়ে আমাদের নানান প্রশ্ন রয়েছে। নিয়মের জগত কেমন? নিয়ম বদ্ধ জগত কী ভাবে পরিচালিত হয়? আপনি কী ভাবে নিয়ম দ্বারা বাধ্য হোন? তার মধ্যে থেকেও আপনি কী করে একাধিক উপান্ত থেকে আপনার পছন্দ বাছাই করেন? আপনার চুড়ান্ত লক্ষ্য কী থাকে? আপনার বর্তমান অবস্থান থেকে চুড়ান্ত লক্ষ্য অর্জন করা সম্ভব কিনা, সম্ভব হলে কীভাবে সেটা সম্ভব, কোন ধাপের পরে কী করতে হবে? আপনার বর্তমান অবস্থান থেকে চুড়ান্ত লক্ষ্য অসম্ভব মনে হলে আপনি সেটা কী ভাবে প্রমাণ করবেন? বর্তমান অবস্থান থেকে ধাপে ধাপে চুড়ান্ত লক্ষ্যে যাওয়া গেল কি গেল না, কেবলই এটাই কি প্রমাণের একমাত্র রাস্তা? আর এই রাস্তা এত ক্লান্তিকর কেন, এক ঘেঁয়ে কেন? যান্ত্রিক উপায় কী? বুদ্ধিমানের উপায়ই বা কী? কোন ব্যবস্থার ভিতরে থেকে দেখা আর বাইরে থেকে দেখা বলতে আমরা কী বুঝি? ভিতরে থেকে দেখলেই কী সব দেখা হয়ে গেল, নাকি দেখা সম্ভব? বাইরে থেকে দেখা কেন বুদ্ধিমানের কাজ। নৈয়মিক জগতের সাথে নৈয়মিক ভাষার সম্পর্ক কী? ভাষা আর যুক্তিরই বা সম্পর্ক কী? যুক্তির সাথে গণিত ও গণনার কী সম্পর্ক? এই একগুচ্ছ প্রশ্নের উত্তর নিয়ে আজকে প্রকাশিত হল নৈয়মিক জগতের ওপরে পাঠ। পাঠের সাথে অনুশীলনী ও সমাধানও থাকছে। বিচ্ছিন্ন গণিতে পরের পাঠসমুহে আমর বিবৃতিমুলক যুক্তি (propositional logic) ও বিধেয়মুলক যুক্তি (predicate logic) নিয়ে আলোচনা করব।
পাঠের পরিবেশনার নথি নামিয়ে নিন formal-world-lession (13471 downloads)
পাঠের ওপরে অনুশীলনী ও সমাধানের নথি নামিয়ে নিন formal-world-exercise.pdf (7523 downloads)
এই লেখকের পরিগণনা (programming) সহ নানান বিষয়ে আগের পাঠগুলো পেতে নীচের ঠিকানায় ভ্রমন করুন http://www.shikkhok.com/author/mahnewton/
আমার এই পাঠটি উৎসর্গ করছি বুয়েটে আমার বিচ্ছিন্ন গণিতের শিক্ষক সন্দীপন স্যানাল স্যারকে।