domain-theory पर टैग किए गए जवाब

वर्तमान में, अधिकांश लोकप्रिय भाषाओं में वास्तविक की गणना अभी भी फ्लोटिंग पॉइंट ऑपरेशंस के माध्यम से की जाती है। दूसरी ओर, टाइप टू इफ़ेक्टिविटी (टीटीई) और डोमेन थ्योरी जैसे सिद्धांतों ने लंबे समय तक वास्तविक गणना करने का वादा किया है। जाहिर है, फ्लोटिंग पॉइंट प्रिसिजन की समस्या प्रासंगिकता …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

निम्नलिखित पांडुलिपि publically उपलब्ध है? डाना स्कॉट, 1969, उच्च प्रकार के कम्प्यूटेशनल कार्यों का एक सिद्धांत । अप्रकाशित संगोष्ठी नोट्स, 7 पृष्ठ, ऑक्सफोर्ड विश्वविद्यालय। इस पत्र की चर्चा 8.1.2 खंड में , कार्डोन और हिंडले में, 2006 के प्रकार , लैंबडा -कैलकुलस और कॉम्बिनेटर लॉजिक के इतिहास में की गई …

16 reference-request  lo.logic  type-theory  domain-theory 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 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 

कंटिन्यूअस लैटिसेस एंड डोमेन्स में "बीजीय पोजिट" की परिभाषा, परिभाषा I-4.2, कहती है कि, सभी के लिएx∈Lx∈Lx \in L सेट एक निर्देशित सेट होना चाहिए, औरA(x)=↓x∩K(L)A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) x=⨆(↓x∩K(L)x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x \cap K(L) । यहाँ एक poset है, के कॉम्पैक्ट तत्वों के सेट है , …

12 domain-theory 

\newcommand{\symp}{\Bumpeq} एक सेट X पर एक सुसंगत रिश्ता \ symp_X≎X≎X\symp_X एक प्रतिवर्ती और सममित संबंध है। एक जुटना अंतरिक्ष एक जोड़ी है (एक्स, \ symp_X) , और एक आकारिता च: एक्स \ Y के लिए जुटना रिक्त स्थान के बीच एक रिश्ता है च \ subseteq X \ बार Y …

12 pl.programming-languages  ct.category-theory  domain-theory  linear-logic 

समान रूप से, क्या संभाव्य उच्चतर-क्रम कार्यात्मक प्रोग्रामिंग भाषाओं के लिए एक ज्ञात संप्रदाय शब्दार्थ है? विशेष रूप से, वहाँ शुद्ध अनिर्दिष्ट -culculus का एक डोमेन मॉडल है जो एक सममित यादृच्छिक बाइनरी पसंद ऑपरेशन द्वारा विस्तारित है।λλ\lambda प्रेरणा कार्तीय बंद श्रेणियां उच्च-क्रम -culculi को एक शब्दार्थ प्रदान करती हैं। …

10 pr.probability  lambda-calculus  ct.category-theory  denotational-semantics  domain-theory 

कंप्यूटर विज्ञान में तर्क की हैंडबुक में स्माइथ का अध्याय और अन्य संदर्भ बताते हैं कि मैट्रिक स्पेस को डोमेन के रूप में कैसे इस्तेमाल किया जा सकता है। मैं समझता हूं कि पूर्ण मीट्रिक रिक्त स्थान अनन्य निश्चित अंक देते हैं, लेकिन मुझे यह समझ में नहीं आता है …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

जब डोमेन थ्योरिटिक श्रेणियों (सीपीओ और सीपीओ कहते हैं) के साथ काम करते हैं , तो मैं अक्सर डोमेन सिद्धांत में श्रेणी सिद्धांत की भाषा के लिए एक शब्दकोश की कामना करता हूं।ωω\omega अर्थात्, एक अवधारणा को देखते हुए, मोनिक एरो कहते हैं, मैं इसे शब्दकोश में देख सकता हूं …

10 ct.category-theory  semantics  denotational-semantics  domain-theory