कंप्यूटर विज्ञान

मुझे पता है कि विभिन्न लेखक प्रोग्रामिंग भाषा के शब्दार्थों का प्रतिनिधित्व करने के लिए विभिन्न संकेतन का उपयोग करते हैं। तथ्य की बात के रूप में गाइ स्टील एक दिलचस्प वीडियो में इस समस्या को संबोधित करता है । मैं जानना चाहता हूं कि क्या किसी को पता है …

12 type-theory  denotational-semantics 

यह बड़े डेटा के नजरिए से आता है। मूल रूप से, कई चौखटे (जैसे अपाचे स्पार्क) फनीक्टर / मोनाड-जैसे इंटरफेस प्रदान करके रिलेशनल ऑपरेशंस की कमी की "भरपाई" करते हैं और बिल्लियों-से-SQL रूपांतरण (स्लैक में स्लीक) के समान आंदोलन है। उदाहरण के लिए, हमें एसक्यूएल-परिप्रेक्ष्य से वैक्टर के तत्व-वार गुणन …

12 relational-algebra  category-theory  curry-howard 

मुझे एक साक्षात्कार में निम्नलिखित समस्या दी गई है (कि मैं पहले से ही हल करने में विफल रहा हूं, मेरे अतीत को धोखा देने की कोशिश नहीं कर रहा हूं): खेल एक सकारात्मक पूर्णांक संख्या शुरू होता है । (उदा। ) यह संख्या बाइनरी प्रतिनिधित्व में बदल जाती है, …

12 algorithms  optimization 

या: क्या हमें प्रस्तुत करने के लिए रूपर्ट की आवश्यकता है? समस्याओं को एक तरफ रखते हुए, सांता को निम्नलिखित समस्या का सामना करना पड़ता है (कई बार, कई बार): क्षमता के एक बैग को देखते हुए और एक सेट , प्रत्येक आकार साथ , वह बच्चों को खुश करना …

12 algorithms  complexity-theory  optimization  packing 

वर्तमान में मुझे Coq सीखना है और पता नहीं है कि कैसे निपटें or: एक उदाहरण के रूप में, यह जितना सरल है, मैं यह नहीं देखता कि कैसे साबित किया जाए: Theorem T0: x \/ ~x. मैं वास्तव में इसकी सराहना करूंगा, अगर कोई मेरी मदद कर सके। संदर्भ …

12 logic  coq 

मैं प्रश्न पढ़ रहा था संगति और पूर्णता स्पष्टता लग रहा है? और इसमें पहला कथन कहता है: मैं समझता हूं कि ध्वनि से तात्पर्य है संगति। जिसके बारे में मैं काफी हैरान था क्योंकि मुझे लगता था कि ध्वनि स्थिरता की तुलना में एक कमजोर बयान था (यानी मुझे …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

मैं वर्तमान में बाइनरी डेटा उत्पन्न करने के लिए कुछ कोड लिख रहा हूं। मुझे विशेष रूप से सेट बिट्स की संख्या के साथ 64-बिट संख्या उत्पन्न करने की आवश्यकता है; अधिक सटीक रूप से, प्रक्रिया को कुछ लेना चाहिए और एक छद्म यादृच्छिक 64-बिट संख्या को वापस बिट्स सेट …

12 algorithms  information-theory  coding-theory  pseudo-random-generators 

में प्रोग्रामिंग भाषाओं के लिए प्रैक्टिकल मूलाधार , रॉबर्ट हार्पर का कहना है यदि किसी प्रस्ताव के सत्य होने का अर्थ है कि उसका प्रमाण होना चाहिए, तो किसी प्रस्ताव के झूठे होने का क्या अर्थ है? इसका मतलब यह है कि हमारे पास इसका खंडन है , यह दिखाते …

12 logic 

बैकग्राउंडर: मैं कंप्यूटर साइंस में पूरी तरह से एक आम आदमी हूं। मैं यहां व्यस्त बीवर नंबरों के बारे में पढ़ रहा था , और मुझे निम्नलिखित मार्ग मिला: मानवता निश्चित रूप से बीबी (6) के मूल्य को कभी नहीं जान सकती है, अकेले बी बी (7) या अनुक्रम में …

12 turing-machines  number-theory  busy-beaver 

हमारे पास कई समस्याएं हैं, जैसे कि गुणनखंड, जो दृढ़ता से व्यक्त किए जाते हैं, लेकिन पी के बाहर होने के लिए साबित नहीं होते हैं। क्या विपरीत संपत्ति के साथ कोई प्रश्न हैं, अर्थात् वे दृढ़ता से व्यक्त किए जाते हैं लेकिन पी के अंदर साबित नहीं होते हैं …

12 complexity-theory  polynomial-time 

अंतर जानने के लिए, मैं सिर्फ में लौकिक तर्क के बारे में नीचे वक्तव्य दिये का सामना करना पड़ा था विकिपीडिया : गतिशील तर्क के साथ कई सामान्य विशेषताओं को साझा करने वाले मोडल लॉजिक का एक और प्रकार, उपर्युक्त सभी लॉजिक्स से भिन्न होता है, जिसे पुनेली ने "अंतर्जात" …

12 logic  linear-temporal-logic  temporal-logic 

आप कमांड की सूची बनाकर और इस सूची को पूर्णांक बनाकर RAM का Gödel नंबर प्राप्त कर सकते हैं। तो, मैंने सोचा कि कुछ ऐसा है "RAM जो अपना खुद का Gödel नंबर लौटा देगा (कहते हैं, ) इसमें जानकारी होनी चाहिए, इसलिए पूर्णांक से अधिक होगा , इसलिए यह …

12 computability 

यदि हमारे पास कोई मनमाना कंप्यूटर प्रोग्राम है जो उसके निर्देशों को संशोधित कर सकता है, तो क्या उस प्रोग्राम को किसी प्रोग्राम के साथ अनुकरण करना संभव है जो उसके निर्देशों को संशोधित नहीं कर सकता है? संपादित करें: मैं स्टेक्सएक्सचेंज के लिए नया हूं इसलिए निश्चित नहीं हूं …

12 computability  computation-models  turing-completeness  church-turing-thesis 

एक छात्र, एलिस ने अगले हफ्तों में बहुत सारे होमवर्क किए हैं। होमवर्क का प्रत्येक सामान उसे एक दिन में ले जाता है। प्रत्येक आइटम की एक समय सीमा भी होती है, और उसके ग्रेड पर एक नकारात्मक प्रभाव पड़ता है (एक वास्तविक संख्या मान लें, केवल तुलनीयता मानने के …

12 algorithms  optimization  randomized-algorithms  network-flow  scheduling 

मैं समस्याओं के आसपास अपना सिर लपेटने में कठिनाई कर रहा हूँ, समय, रचना, फैक्टरी और वे जटिलता के संदर्भ में कैसे संबंधित हैं। मैं समझता हूं कि PRIME को AKS primality परीक्षण द्वारा में दिखाया गया है , और मेरा मानना ​​है कि यह COMPOSITE के लिए भी काम …

12 complexity-theory  factoring