প্রশ্ন ট্যাগ «combinatory-logic»

ফিক্সড পয়েন্ট কম্বিনেটরগুলির জন্য উইকিপিডিয়া পৃষ্ঠায় বরং রহস্যজনক লেখা রয়েছে ওয়াই কম্বিনেটর লাম্বডা ক্যালকুলাসকে কী বেমানান করে তোলে তার একটি উদাহরণ। সুতরাং এটি সন্দেহের সাথে বিবেচনা করা উচিত। তবে শুধুমাত্র গাণিতিক যুক্তিতে সংজ্ঞায়িত হলে ওয়াই সংযুক্তকারী বিবেচনা করা নিরাপদ। আমি কি কোনও ধরণের গুপ্তচর উপন্যাসে প্রবেশ করেছি? বিশ্বের কি বিবৃতি …

44 lambda-calculus  combinatory-logic 

(অব্যক্ত) ল্যাম্বদা ক্যালকুলাস ( ল্যাম্বদা) এ ফিক্সড পয়েন্ট কম্বিনেটর FIX (ওরফে ওয়াই কম্বিনেটর) হিসাবে সংজ্ঞায়িত করা হয়েছে:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) আমি এর উদ্দেশ্য বুঝতে পেরেছি এবং আমি এর …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

আমাদের মধ্যে অধিকাংশই মধ্যে চিঠিপত্রের জানেন সমন্নয়ের যুক্তিবিজ্ঞান এবং ল্যামডা ক্যালকুলাস । তবে আমি কখনও দেখিনি (সম্ভবত আমি যথেষ্ট গভীরভাবে দেখিনি) "টাইপড কম্বিনেটরগুলির" সমতুল্য, কেবল টাইপ করা ল্যাম্বদা ক্যালকুলাসের সাথে মিল রেখে। এ জাতীয় জিনিস কি বিদ্যমান? কোথায় এটি সম্পর্কে তথ্য খুঁজে পেতে পারে?

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

এটি সুপরিচিত যে এস এবং কে সংযুক্তকারীগুলি সংমিশ্রণ ক্যালকুলাসের জন্য একটি ভিত্তি সেট তৈরি করে, এই অর্থে যে সমস্ত অন্যান্য সংযুক্তকারীগুলি তাদের শর্তে প্রকাশ করা যেতে পারে। কারির বি, সি, কে, ডাব্লু ভিত্তিও রয়েছে, যার সমান সম্পত্তি রয়েছে। এই ধরনের বেসগুলিতে অবশ্যই অসীম সংখ্যা থাকতে হবে, তবে আমি অন্য কারও …

19 lambda-calculus  combinatory-logic 

ওয়াই কম্বিনেটরের টাইপ । কারি-হাওয়ার্ডের চিঠিপত্রের মাধ্যমে, কারণ এ প্রকারের বাস, তাই এটি অবশ্যই একটি সত্য উপপাদ্যের সাথে সঙ্গতিপূর্ণ। তবে সবসময় সত্য, তাই এটি যেন উপপাদ্য y টু combinator ধরন অনুরূপ মনে হচ্ছে, , যা সবসময় সত্য নয়। এটা কিভাবে হতে পারে?( a → a ) → a a → …

16 logic  recursion  type-theory  combinatory-logic  curry-howard 

একটি কম্বিনেটর এক্সপ্রেশন (এসকে ভিত্তিতে বলা যাক) এমন একটি ফাংশন হিসাবে ভাবা যেতে পারে যা সংযোজক ক্যালকুলাস এক্সপ্রেশনকে সংযুক্তকারী ক্যালকুলাস এক্সপ্রেশনকে মানচিত্র করে। অর্থাৎ এক একটি অভিব্যক্তি মনে করতে পারেন একটি ফাংশন হিসাবে এক্স : এল → এল , যেখানে এল এস কে ভিত্তি সমস্ত চিহ্নগুলি সিন্টেক্সের বৈধ combinator অভিব্যক্তির …

13 lambda-calculus  combinatory-logic 

বিশেষত, যদি আমি একটি নতুন K2K2K_2 কে K2=λx.(λy.y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y) হিসাবে সংজ্ঞায়িত করি । ( λ y । y ) K=λx.(λy.x)K=λx.(λy.x)K = \lambda x. (\lambda y. x) পরিবর্তে । ( Λ Y । এক্স ) হবে {S,K2,I}{S,K2,I}\{S, K_2,I\} -calculus একটি প্রতিদ্বন্দ্বিতা ভিত্তিতে হবে? আমার অনুমান "না," …

10 lambda-calculus  combinatory-logic 

পিটার সেলিনারের মতে , ল্যাম্বডা ক্যালকুলাস হল বীজগণিত (পিডিএফ)। এই নিবন্ধের প্রথম দিকে তিনি বলেছেন: কারণ এটি সন্তুষ্ট না ল্যামডা ক্যালকুলাস সমন্নয়ের ব্যাখ্যা, অপূর্ণ হিসেবে পরিচিত -rule: ব্যাখ্যা অধীনে, পরোক্ষভাবে না (Barendregt, 1984)।ξξξM=NM=NM = Nλx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N প্রশ্নাবলী: এখানে কোন ধরণের সমতা বোঝানো হয়েছে? সমতা এই সংজ্ঞা দেওয়া, …

10 terminology  lambda-calculus  combinatory-logic 

ক্রিস ওকাসাকির গবেষণাপত্রে "ফ্ল্যাটেনিং কম্বিনেটরস: প্যারেন্টিজেস ব্যতীত বেঁচে থাকা " তিনি দেখিয়েছেন যে অ্যাপ্লিকেশন অপারেটর বা প্রথম বন্ধনী ছাড়াই টুরিং-সম্পূর্ণ এক্সপ্রেশনগুলি এনকোড করার জন্য দুটি সংযোজক যথেষ্ট এবং প্রয়োজনীয়। জন ট্রাম্পের অ্যাপ্লিকেশন অপারেটরের সাথে প্রিফিক্স কোডিং এস এবং কে সংযুক্তকারীগুলির মাধ্যমে " বাইনারি লাম্বা ক্যালকুলাস এবং কম্বিনেটরি লজিক " -তে …

9 lambda-calculus  combinatory-logic 

সুতরাং এসকে কম্বিনেটর ব্যবহার করে ল্যাম্বডা ক্যালকুলাস পদকে সংযুক্তি যুক্তিতে রূপান্তর করার জন্য একটি অ্যালগরিদম রয়েছে । এটি আকারে বিস্ফোরিত জিনিস উত্পাদন করে । আকারে এই বিস্ফোরণ সম্পর্কে আমি আরও জানতে চাই। আমি তবে আরও ভাল অ্যালগরিদমের কথা ভাবতে পারি না। আমি শুনেছি যে ফাংশনাল ভাষাগুলি ব্যবহারিকভাবে সংযোজকগুলিতে সংকলিত হয় …

9 lambda-calculus  functional-programming  combinatory-logic