formal-modeling पर टैग किए गए जवाब

कोलमोगोरोव उपसर्ग जटिलता (यानी न्यूनतम आत्म-परिसीमन कार्यक्रम का आकार है जो x को आउटपुट करता है ) में कई अच्छी विशेषताएं हैं:कश्मीर( x )K(x)K(x)एक्सxx यह पेटेंट के साथ तार देने के अंतर्ज्ञान से मेल खाती है या बिना स्ट्रिंग्स की तुलना में कम जटिलता की संरचना करता है। यह हमारे …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

क्या आप पाई-कैलकुलस में विश्वसनीय ब्रॉडकास्ट कर सकते हैं? यदि हां, तो कैसे? यदि नहीं: क्या कोई समान प्रक्रिया बीजगणित है जहाँ आप कर सकते हैं? मैंने क्या कोशिश की है: इस तो एक संदेश भेजने के लिए करना चाहता है y सभी पी 1 के लिए पी एन , …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

मैंने पाया कि मेरे सिस्टम के लिए एक अच्छे मॉडल के रूप में लेबल किए गए ट्रांज़िशन सिस्टम हैं, अर्थात् एलटीएस का उपयोग करके मॉडलिंग के उपयोग के मामलों के बारे में एक पेपर है। सवाल यह है कि एलटीएस के बारे में आसानी से क्या साबित किया जा सकता …

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

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

11 lo.logic  type-theory  formal-modeling  automated-theorem-proving  bioinformatics 

मैं LISP पर एक पुस्तक का अनुवाद कर रहा हूँ और स्वाभाविक रूप से यह कुछ तत्वों के -calculus को छूती है । तो, वहाँ एक प्रतिरूपता की धारणा का उल्लेख किया गया है जिसमें -calculus के कुछ मॉडल शामिल हैं , अर्थात्: और (हाँ, शीर्ष पर अनंतता के साथ)। …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

मैं कंप्यूटर विज्ञान से कठिन समस्याओं (एनपी या कठिन में) के उदाहरणों की तलाश कर रहा हूं जो शारीरिक प्रक्रियाओं के मॉडल में कम हो सकते हैं। उदाहरण के लिए, एक ईजिंग मॉडल में अधिकतम 2-सैट को ऊर्जा कम करने के लिए कम किया जा सकता है। मैं इस प्रकार …

10 cc.complexity-theory  reductions  physics  formal-modeling 

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

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