ঠিক তখন টাইপ এর এর ভিত্তিতে । অর্থাৎ একটি ধারক হিসেবে দেখা যেতে পারে কর্তৃক প্রদত্ত অবস্থানকে উপাদান । প্রকৃতপক্ষে, এটা কি ক্ষমতায় থাকাতে ব্যাপার আমরা বাড়াতে হবে প্রাপ্ত ।CXPC≅P→XCXPPXC
সাথে কাজ করা বোধগম্য হয় যেখানে একটি হয়, যখনই লগারিদম উপস্থিত থাকে, যার অর্থ । মনে রাখবেন যে যদি , তবে অবশ্যই আমাদের অবশ্যই , তাই এর উপাদানগুলি ব্যতীত আকর্ষণীয় আর কিছু আমাদের না বলে লগারিদম নেই।logFFlogX(FX)FX≅logF→XF1≅1
লগারিদমগুলির অজানা আইনগুলি যখন আপনি অবস্থানের সেটগুলির ক্ষেত্রে বিবেচনা করেন তখন তা বোধগম্য হয়
log(K1)logIlog(F×G)log(F⋅G)====01logF+logGlogF×logGno positions in empty containercontainer for one, one positionpair of containers, choice of positionscontainer of containers, pair of positions
আমরা যেখানে বাইন্ডারের অধীনেএটি হ'ল কিছু কোডাটার প্রতিটি উপাদানের পাথ লোগারিদমের পুনরাবৃত্তি দ্বারা সূক্ষ্মভাবে সংজ্ঞায়িত করা হয়। যেমন,logX(νY.T)=μZ.logXTZ=logXY
logStream=logX(νY.X×Y)=μZ.1+Z=Nat
প্রদত্ত যে ডেরাইভেটিভ আমাদের ওয়ান-হোল প্রসঙ্গে টাইপগুলি বলে এবং লগারিদম আমাদের অবস্থানগুলি বলে, আমাদের একটি সংযোগ আশা করা উচিত, এবং সত্যই
F1≅1⇒logF≅∂F1
যেখানে আকৃতির কোনও পছন্দ নেই সেখানে অবস্থানগুলি উপাদানগুলির সাথে এক-ছিদ্র প্রসঙ্গের মতো ঠিক is আরও সাধারণভাবে, সর্বদা আকারের মধ্যে একটি উপাদান অবস্থানের সাথে আকারের পছন্দকে উপস্থাপন করে ।∂F1F
আমি ভয় করি যে শিকড় সম্পর্কে আমার বলার কম আছে, তবে একটি একই সংজ্ঞা থেকে শুরু করে কারও নাক অনুসরণ করতে পারে। প্রকারের লগারিদমগুলির আরও ব্যবহারের জন্য, রাল্ফ হিন্জের "মেমো ফাংশনগুলি, পলিটিক্যালভাবে!" দেখুন। যেতে হবে...