semantics पर टैग किए गए जवाब

भाषा अर्थ विज्ञान प्रोग्रामिंग में, यह अक्सर सुना जाता है कि लोगों के बारे में बात अर्थ और वाच्यार्थ । वे एक जैसे नहीं लगते। अंतर क्या है? क्या पूर्व परिचालन शब्दार्थों के साथ जुड़ा हुआ है, जबकि बाद वाला शब्द अर्थविज्ञान के साथ है? धन्यवाद।

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

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

10 semantics  topology  denotational-semantics  domain-theory  metrics 

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

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

मैं मार्टिन-लोफ प्रकार के सिद्धांत, यानी Coq / Agda में औपचारिक रूप से सत्यापित कंपाइलरों में रुचि रखता हूं। फिलहाल मैंने एक छोटा सा खिलौना उदाहरण लिखा है। इसके अलावा मैं साबित कर सकता हूं कि मेरी आशाएं सही हैं। उदाहरण के लिए कि शून्य के साथ परिवर्धन को समाप्त …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

यह एक प्रश्न है जिसे मैंने गणित एसई फोरम में पूछा था, और मुझे यहां संदर्भित किया गया था। तो यहाँ सवाल है- मैं औपचारिक गणित और सैद्धांतिक कंप्यूटर विज्ञान दोनों में नौसिखिया हूं, इसलिए कृपया मेरे साथ सहन करें यदि आपको लगता है कि मेरा प्रश्न ठीक से तैयार …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented