প্রশ্ন ট্যাগ «extensionality»

আমি মনে করি আমি এটি বুঝতে পারছি না, তবে রূপান্তর আমাকে রূপান্তর হিসাবে দেখায় যা কিছুই করে না, রূপান্তর একটি বিশেষ ক্ষেত্রে যেখানে ফলাফলটি ল্যাম্বডা বিমূর্তিতে কেবলমাত্র শব্দ কারণ কিছুই নেই because করতে, এক ধরণের অর্থহীন রূপান্তর।ηη\etaββ\betaββ\betaββ\beta সুতরাং সম্ভবত রূপান্তরটি এর থেকে সত্যই গভীর এবং ভিন্ন কিছু, তবে এটি যদি …

18 lo.logic  lambda-calculus  extensionality 

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

15 lo.logic  lambda-calculus  extensionality 

থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

ক্লোপ, ভ্যান ওস্ট্রোম এবং ডি ভ্রিজারের ল্যাম্বডা ক্যালকুলাসে নিদর্শন সহ একটি কাগজ রয়েছে। http://www.sciencedirect.com/science/article/pii/S0304397508000571 কিছু অর্থে, একটি প্যাটার্নটি ভেরিয়েবলের একটি গাছ - যদিও আমি কেবল এটিকে ভেরিয়েবলের নেস্টেড টুপল হিসাবে ভাবছি, উদাহরণস্বরূপ, ((x, y), z), (t, s))। কাগজে তারা দেখিয়েছেন যে যদি নিদর্শনগুলি রৈখিক হয়, এমন কোনও অর্থে যে কোনও …

12 type-theory  lambda-calculus  typed-lambda-calculus  extensionality 

আমি এলআইএসপি- তে একটি বই অনুবাদ করছি এবং স্বাভাবিকভাবেই এটি -ক্যালকুলাসের কিছু উপাদানকে স্পর্শ করে । সুতরাং, extensionality একটি ধারণা কিছু মডেলের পাশাপাশি সেখানে উল্লেখ করা হয় λ -calculus, যথা: পি ω এবং ডি ∞ (হ্যাঁ, উপরের অনন্ত সহ)। এবং এটা বলা হয় যে পি ω এক্সটেনশনাল থাকাকালীন ডি ∞ …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

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

9 pl.programming-languages  decidability  formal-methods  extensionality