lambda-calculus पर टैग किए गए जवाब

λ-कलन क्रिया परिभाषा, फ़ंक्शन अनुप्रयोग और पुनरावृत्ति के लिए एक औपचारिक प्रणाली है जो कार्यात्मक प्रोग्रामिंग का गणितीय आधार बनाती है।

2
"लैम्ब्डा कैलकुलस" में "लैम्ब्डा" क्या है?
मैं हाल ही में लैम्ब्डा कैलकुलस के बारे में पढ़ रहा हूं, लेकिन अजीब तरह से मुझे इस बात का स्पष्टीकरण नहीं मिल पा रहा है कि इसे "लैम्ब्डा" क्यों कहा जाता है या यह अभिव्यक्ति कहां से आती है। क्या कोई इस शब्द की उत्पत्ति की व्याख्या कर सकता …

2
वाई कॉम्बिनेटर "लैम्ब्डा पथरी असंगति" को कैसे स्वीकार करता है?
फिक्स्ड प्वाइंट कॉम्बिनेटरों के लिए विकिपीडिया पृष्ठ पर बल्कि रहस्यमय पाठ लिखा जाता है वाई कॉम्बिनेटर एक उदाहरण है जो लैम्बडा कैलकुलस को असंगत बनाता है। इसलिए इसे संदेह के साथ माना जाना चाहिए। हालाँकि, केवल तर्कपूर्ण तर्क में परिभाषित किए जाने पर वाई कॉम्बिनेटर पर विचार करना सुरक्षित है। …

2
क्वांटम लैम्ब्डा कैलकुलस
शास्त्रीय रूप से, गणना के बारे में सोचने के 3 लोकप्रिय तरीके हैं: ट्यूरिंग मशीन, सर्किट, और लैम्ब्डा-कैलकुलस (मैं इसे सबसे कार्यात्मक विचारों के लिए सभी को पकड़ने के रूप में उपयोग करता हूं)। सभी 3 विभिन्न प्रकार की समस्याओं के बारे में सोचने के लिए फलदायी तरीके हैं, और …


2
क्या लैम्ब्डा कैलकुलस विशुद्ध रूप से वाक्यात्मक है?
मैं लैम्बडा कैलकुलस के बारे में कुछ हफ्तों से पढ़ रहा हूं, लेकिन मैंने अभी तक ऐसा कुछ भी नहीं देखा है जो मौजूदा गणितीय कार्यों से अलग हो, और मैं जानना चाहता हूं कि क्या यह सिर्फ नोटेशन का मामला है, या कोई नया है लैम्ब्डा कैलकुलस एक्सिओम्स द्वारा …

2
लंबोदर-पदों की विशेषता जिसमें संघ प्रकार हैं
कई पाठ्यपुस्तकें लैम्बडा-कैलकुलस में प्रतिच्छेदन प्रकारों को कवर करती हैं। चौराहे के लिए टाइपिंग नियमों को निम्नानुसार परिभाषित किया जा सकता है (बस टाइपिंग के साथ टाइप किए गए लंबो-पथरी के शीर्ष पर): Γ⊢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 …

4
फिक्स्ड-पॉइंट कॉम्बिनेटर (वाई कॉम्बिनेटर) की स्पष्ट, सहज व्युत्पत्ति?
फिक्स्ड-पॉइंट कॉम्बीनेटर 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)) मैं इसका उद्देश्य समझता हूं और …

1
क्या टाइप एसकेआई पथरी है?
हम में से अधिकांश लोग कॉम्बिनेटर लॉजिक और लैम्ब्डा कैलकुलस के बीच पत्राचार को जानते हैं । लेकिन मैंने कभी नहीं देखा (शायद मैंने बहुत गहरा नहीं देखा है) "टाइप किए गए कॉम्बिनेटर" के बराबर, बस टाइप किए गए लैम्ब्डा कैलकुलस के अनुरूप। क्या ऐसी चीज मौजूद है? इसके बारे …

5
प्रतिबिंब के साथ
मैं एक सरल पथरी की तलाश कर रहा हूं जो प्रतिबिंब के बारे में तर्क का समर्थन करता है , अर्थात्, चल रहे कार्यक्रमों का आत्मनिरीक्षण और हेरफेर। वहाँ एक untyped है -calculus विस्तार है कि एक सक्षम बनाता है परिवर्तित करने के लिए एक रूप है कि वाक्य रचना …

5
कार्यात्मक भाषाएं ट्यूरिंग पूरी क्यों हैं?
शायद विषय की मेरी सीमित समझ गलत है, लेकिन यह वही है जो मैं अब तक समझता हूं: कार्यात्मक प्रोग्रामिंग लैंबडा कैलकुलस पर आधारित है, जो अलोंजो चर्च द्वारा तैयार किया गया है। इम्पीरियल प्रोग्रामिंग ट्यूरिंग मशीन मॉडल पर आधारित है, जो कि चर्च के छात्र एलन ट्यूरिंग द्वारा बनाई …

5
कार्यात्मक प्रोग्रामिंग के बाहर लैम्ब्डा कैलकुलस?
मैं एक विश्वविद्यालय का छात्र हूं और वर्तमान में हम लैंबडा कैलकुलस पढ़ रहे हैं। हालाँकि, मुझे अभी भी यह समझने में कठिन समय है कि यह मेरे लिए क्यों उपयोगी है। मुझे एहसास है कि यदि आप कार्यात्मक प्रोग्रामिंग का भार उठाते हैं तो यह उपयोगी हो सकता है, …

2
बीटा समतुल्यता क्या है?
वर्तमान में मैं जो लैम्बडा कैलकुलस पढ़ रहा हूं, उसकी स्क्रिप्ट में बीटा समतुल्यता को इस प्रकार परिभाषित किया गया है: ββ\beta -equivalence ≡β≡β\equiv_\beta छोटी से छोटी तुल्यता कि होता है →β→β\rightarrow_\beta । मुझे उसका मतल नही पाता। क्या कोई इसे सरल शब्दों में समझा सकता है? शायद एक उदाहरण …

1
यदि (λ x। xx) का प्रकार है, तो क्या टाइप सिस्टम असंगत है?
यदि एक प्रकार की प्रणाली एक प्रकार को λ x . x xया गैर-समाप्ति के लिए असाइन कर सकती है (λx . x x) (λ x . x x), तो क्या वह प्रणाली परिणाम के रूप में असंगत है? क्या हर प्रकार उस व्यवस्था के अंतर्गत है? क्या आप झूठे …

2
कॉम्बिनेटर पथरी के लिए बेसिस सेट
यह सर्वविदित है कि एस और के कॉम्बिनेटर कॉम्बिनेटर कैलकुलस के लिए एक आधार सेट बनाते हैं, इस अर्थ में कि अन्य सभी कॉम्बिनेटरों को उनके संदर्भ में व्यक्त किया जा सकता है। करी का बी, सी, के, डब्ल्यू आधार भी है, जिसकी समान संपत्ति है। इस तरह के ठिकानों …

4
लैम्ब्डा कैलकुलस में अनाम होना कार्यों के लिए क्यों महत्वपूर्ण है?
मैं जिम वेइरिच का व्याख्यान देख रहा था, जिसका शीर्षक था ' एडवेंचर्स इन फंक्शनल प्रोग्रामिंग '। इस व्याख्यान में, वह वाई-कॉम्बिनेटरों की अवधारणा का परिचय देता है, जो अनिवार्य रूप से उच्च आदेश कार्यों के लिए निर्धारित बिंदु पाता है। प्रेरणाओं में से एक, जैसा कि वह इसका उल्लेख …

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.