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

दो कंप्यूटिंग मॉडल को पूरा होने के लिए दिखाया जा सकता है यदि प्रत्येक दूसरे के लिए एक सार्वभौमिक सिम्युलेटर को एन्कोड कर सकता है। दो लॉजिक्स को पूर्ण होने के लिए दिखाया जा सकता है यदि प्रत्येक के प्रमेय नियमों के एक एन्कोडिंग (और शायद स्वयंसिद्ध यदि मौजूद हों) …

10 computability  logic  turing-completeness 

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

10 machine-learning  evolutionary-computing 

मैंने विभिन्न सीएस शिक्षा सामग्रियों में कई बार शब्द का सामना किया है: L2 CS162 (UC बर्कले): मेमोरी-मैप्ड I / O L4 CS162 (UC बर्कले): मेमोरी मैप की गई फाइलें L24 CS61 (UC बर्कले): "मेमोरी मैप्ड I / O": डिवाइस कंट्रोल / डेटा रजिस्टर सीपीयू एड्रेस स्पेस में मैप किया …

10 data-structures  operating-systems  memory-management 

यदि प्रोसेसर एक समय में केवल एक ही चीज को निष्पादित कर सकता है, तो मैं कैसे लगातार संगीत चला सकता हूं और अभी भी अन्य कार्यों को चलाने में सक्षम हो सकता हूं? मैं रुकावट प्रणाली को समझता हूं, लेकिन क्या इसकी ज़रूरत नहीं है कि सीपीयू लगातार इसके …

10 cpu  multi-tasking 

निम्नलिखित समस्या कथन पर विचार करें: एक प्रारंभिक संख्या को देखते हुए, आप और आपका मित्र इससे एक आदर्श वर्ग को घटाना चाहते हैं। शून्य जीत हासिल करने वाला पहला। उदाहरण के लिए: प्रारंभिक अवस्था: 37 खिलाड़ी 1 घटाव 16. राज्य: 21 प्लेयर 2 घटाव 8. राज्य: 13 खिलाड़ी 1 …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

मोटे तौर पर, एक अप्रत्यक्ष ग्राफ़ एक निर्देशित ग्राफ़ के समान होता है जहाँ प्रत्येक किनारे (v, w) के लिए हमेशा एक किनारे (w, v) होता है। इससे पता चलता है कि यह अप्रत्यक्ष ग्राफ़ को निर्देशित ग्राफ़ के सबसेट के रूप में देखने के लिए स्वीकार्य हो सकता है …

10 graphs  terminology 

यहाँ समस्या है: कई लोगों का प्रतिनिधित्व करने वाले नोड्स के साथ जुड़े हुए ग्राफ हैं। प्रत्येक नोड / व्यक्ति के विषय पर एक राय होती है जैसे ट्रम्प बनाम क्लिंटन, पेपर बुक बनाम किंडल, आदि लक्ष्य प्रत्येक नोड को एक ग्राफ में एक ही राय साझा करता है, एक …

10 graphs  graph-theory  social-networks 

C ++ बैकग्राउंड से आते हुए मुझे समझ नहीं आता कि प्रथम श्रेणी के नागरिक के रूप में किसी को टाइप्स / टाइप एक्सप्रेशंस की आवश्यकता क्यों है? एकमात्र भाषा जो मुझे पता है कि इस सुविधा का समर्थन करती है। क्या किसी के पास प्रथम श्रेणी के नागरिक के …

10 programming-languages  language-design  types 

मैं सिद्धांत और आश्रित प्रोग्रामिंग टाइप करने के लिए अपेक्षाकृत नया हूँ। मैं कंस्ट्रक्शन (CoC) और अन्य शुद्ध प्रकार के सिस्टम की गणना कर रहा हूं। मैं विशेष रूप से एक संकलक प्रणाली के लिए एक सबूत-संरक्षण मध्यवर्ती प्रतिनिधित्व के रूप में इसका उपयोग करने में रुचि रखता हूं। मैं …

10 type-theory  dependent-types  coq 

हमेशा की तरह एक परिमित अवस्था मशीन पर विचार करें, लेकिन हर संक्रमण में, यह एक संख्या को जोड़कर या घटाकर पूर्णांक काउंटर को भी अपडेट कर सकता है। कहते हैं, फॉर्म एक ट्रांस्फ़ॉर्म फ़ंक्शन नए स्टेट , और काउंटर को जोड़ देता है , जहाँ (इसलिए पॉजिटिव हो सकता …

10 finite-automata 

मैं ग्राफ आइसोमोर्फिज्म के दृष्टिकोण का वर्णन करता हूं जिसमें संभवतः झूठी सकारात्मकता है, और मैं उत्सुक हूं कि क्या साहित्य यह दर्शाता है कि यह काम नहीं करता है। दो निकटता मैट्रिक्स को देखते हुए G,HG,HG, H , समाकृतिकता के लिए जाँच का एक बेशक अनुभवहीन विधि प्रत्येक पंक्ति …

10 reference-request  graph-isomorphism 

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

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

मैं अपने आप को क्वांटम कंप्यूटिंग के बारे में सिखाने की कोशिश कर रहा हूं, और मुझे रैखिक बीजगणित की एक सभ्य-ईश समझ है। मैं गेट के माध्यम से नहीं मिला, जो बहुत बुरा नहीं था, लेकिन फिर मैं हेडमार्ड गेट पर पहुंच गया। और मैं अड़ गया। मुख्य रूप …

10 logic  quantum-computing 

मैं इस प्रश्न को पूछने के लिए सही शब्दावली नहीं जानता, इसलिए मैं इसके बजाय बहुत सारे शब्दों के साथ इसका वर्णन करूंगा। पृष्ठभूमि , बस इसलिए हम एक ही पृष्ठ पर हैं: प्रोग्राम में अक्सर कैश होते हैं - एक समय / मेमोरी ट्रेडऑफ़। एक सामान्य प्रोग्रामर की गलती …

10 terminology  reference-request  functional-programming  programming-paradigms 

यह प्रमाण प्रेरण द्वारा एक प्रमाण है, और निम्नानुसार है: P (n) यह दावा है कि "Quicksort सही ढंग से लंबाई n के हर इनपुट सरणी को सॉर्ट करता है।" आधार मामला: लंबाई 1 के प्रत्येक इनपुट सरणी को पहले से ही हल किया गया है (P (1) होल्ड) आगमनात्मक …

10 correctness-proof  induction  quicksort