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

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

26 computability  programming-languages  turing-completeness 

क्या स्टैक ओवरफ्लो का पता लगाना सॉफ्टवेयर का काम है (ऑपरेटिंग सिस्टम) या हार्डवेयर में स्टैक ओवरफ्लो का पता लगाया जाता है, जिससे सीपीयू में अपवाद होता है?

26 computer-architecture  stacks 

हम में से अधिकांश लोग कॉम्बिनेटर लॉजिक और लैम्ब्डा कैलकुलस के बीच पत्राचार को जानते हैं । लेकिन मैंने कभी नहीं देखा (शायद मैंने बहुत गहरा नहीं देखा है) "टाइप किए गए कॉम्बिनेटर" के बराबर, बस टाइप किए गए लैम्ब्डा कैलकुलस के अनुरूप। क्या ऐसी चीज मौजूद है? इसके बारे …

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

मैं प्रोग्रामिंग लैन्गॉज हास्केल सीख रहा हूं, और मैं एक typeऔर एक के बीच अंतर के बारे में अपना सिर लपेटने की कोशिश कर रहा हूं kind। जैसा कि मैंने यह समझते हैं, a kind is a type of type। उदाहरण के लिए, a ford is a type of carऔर …

26 type-theory 

यह प्रश्न स्टैकऑवरफ्लो पर एक टिप्पणी से प्रेरित था । गैरी जॉनसन पुस्तक की एनपी-पूर्ण समस्याओं को जानने के अलावा, और कई अन्य; क्या यह जानने के लिए अंगूठे का एक नियम है कि क्या समस्या एनपी-पूर्ण की तरह दिखती है? मैं किसी कठोर चीज की तलाश नहीं कर रहा …

26 complexity-theory  np-complete  intuition 

मैंने कई बार सुना है कि पर्याप्त रूप से छोटे मानों के लिए, O (n) के बारे में सोचा जा सकता है / माना जाता है जैसे कि यह O (1) है। उदाहरण : ऐसा करने की प्रेरणा गलत विचार पर आधारित है कि O (1) हमेशा O (lg n) …

26 asymptotics 

रहे हैं कई तकनीकों साबित होता है कि एक भाषा है नहीं विषय से मुक्त है, लेकिन मैं कैसे साबित करते हैं कि एक भाषा है विषय से मुक्त? इसे साबित करने के लिए क्या तकनीकें हैं? जाहिर है, एक तरीका भाषा के लिए एक संदर्भ-मुक्त व्याकरण का प्रदर्शन करना …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

जब कुछ (अपेक्षाकृत) बुनियादी (प्रथम वर्ष कॉलेज स्तर के सीएस छात्र सोचते हैं) उदाहरण हैं जब कोई सिर्फ लूप के बजाय पुनरावृत्ति का उपयोग करेगा?

26 algorithms  recursion 

निम्नलिखित भाषा संदर्भ मुक्त है? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} जैसा कि sdcvvc द्वारा बताया गया है, इस भाषा में एक शब्द को एक ही लंबाई के दो शब्दों के मिलन के रूप …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

मुझे पता है कि यूक्लिड का एल्गोरिथ्म सकारात्मक पूर्णांक की एक सूची का जीसीडी (महान आम भाजक) प्राप्त करने के लिए सबसे अच्छा एल्गोरिथ्म है। लेकिन व्यवहार में आप इस एल्गोरिथ्म को विभिन्न तरीकों से कोड कर सकते हैं। (मेरे मामले में, मैंने जावा का उपयोग करने का निर्णय लिया, …

26 algorithms  recursion  arithmetic 

यह प्रश्न सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 7 साल पहले पलायन कर गए । यह ज्ञात है कि प्रत्येक अनुकूलन / खोज समस्या में एक समान निर्णय समस्या है। उदाहरण के लिए सबसे …

26 complexity-theory  optimization  search-problem  decision-problem 

यह सवाल गणित स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 6 साल पहले पलायन कर गए । डोमिनोज़ा एक अपेक्षाकृत नया पहेली खेल है। यह एक ग्रिड पर खेला जाता है । खेल शुरू होने से पहले, डोमिनोज़ …

26 complexity-theory  np-hard  board-games  tiling 

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

26 turing-machines 

एल 1 और एल 2 कैश अनुरोधों के परिणामस्वरूप एक मिस हो जाता है, क्या प्रोसेसर तब तक स्टाल करता है जब तक कि मुख्य मेमोरी एक्सेस नहीं की जाती है? मैंने दूसरे धागे पर स्विच करने के विचार के बारे में सुना, यदि ऐसा है तो रुके हुए धागे …

26 computer-architecture  cpu-cache  cpu-pipelines 

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

26 data-structures  binary-trees