প্রশ্ন ট্যাগ «lambda-calculus»

আমি সম্প্রতি ল্যাম্বদা ক্যালকুলাস সম্পর্কে পড়ছি কিন্তু আশ্চর্যের বিষয় হল কেন এটি "ল্যাম্বডা" বা অভিব্যক্তিটি কোথা থেকে এসেছে তার কোনও ব্যাখ্যা খুঁজে পাচ্ছি না। শব্দটির উত্স কি কেউ ব্যাখ্যা করতে পারেন?

73 terminology  computation-models  lambda-calculus  history 

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

44 lambda-calculus  combinatory-logic 

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

35 lambda-calculus  quantum-computing  reference-request  computation-models 

এখানে কি কোনও টুরিং সম্পূর্ণ টাইপড ল্যাম্বদা ক্যালকুলি রয়েছে? যদি তা হয় তবে কয়েকটি উদাহরণ কি?

31 computability  lambda-calculus  type-theory 

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

29 lambda-calculus  functional-programming 

অনেক পাঠ্যপুস্তক ল্যাম্বডা-ক্যালকুলাসে ছেদ করার ধরণের প্রচ্ছদগুলিকে কভার করে। ছেদ জন্য টাইপিং নিয়ম নিম্নলিখিত হিসাবে সংজ্ঞায়িত করা যেতে পারে (উপ টাইপিং সহ সহজভাবে টাইপ করা ল্যাম্বদা-ক্যালকুলাসের উপরে): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash M : T_2} {\Gamma \vdash M : T_1 \wedge T_2} (\wedge I) \qquad\qquad \dfrac{} …

29 lambda-calculus  type-theory  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 

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

23 logic  lambda-calculus  semantics  reflection 

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

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

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

21 lambda-calculus  functional-programming 

স্ক্রিপ্টে আমি বর্তমানে ল্যাম্বদা ক্যালকুলাসে পড়ছি, বিটা সমতুল্যতা এটি হিসাবে সংজ্ঞায়িত হয়েছে: -equivalence ক্ষুদ্রতম সমানতা যে রয়েছে ।≡ β → βββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta এর অর্থ কী তা আমার কোনও ধারণা নেই। কেউ কি এটি সহজ ভাষায় ব্যাখ্যা করতে পারেন? একটি উদাহরণ সঙ্গে হতে পারে? আমার এটি চার্চ-রুসার উপপাদ্য অনুসারে একটি লেম্মার জন্য …

21 logic  terminology  lambda-calculus  type-theory 

যদি কোনও টাইপ সিস্টেম কোনও প্রকারকে λ x . x x, বা অ-অবসানকারীকে নির্ধারণ করতে পারে (λx . x x) (λ x . x x), তবে সেই সিস্টেমটি কি পরিণতি হিসাবে বেমানান? সেই ব্যবস্থার অধীনে কি প্রতিটি ধরণের লোক বাস করে? আপনি কি মিথ্যা প্রমাণ করতে পারবেন?

20 lambda-calculus  dependent-types 

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

19 lambda-calculus  combinatory-logic 

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

19 lambda-calculus  functional-programming