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

मैं कंप्यूटिंग और जटिलता के बारे में एक कोर्स में हूं , और यह समझने में असमर्थ हूं कि इन शर्तों का क्या मतलब है। मुझे पता है कि एनपी एनपी-पूर्ण का एक सबसेट है, जो एनपी-हार्ड का सबसेट है, लेकिन मुझे नहीं पता कि उनका वास्तव में क्या मतलब …

247 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

अधिकांश परिचयात्मक एल्गोरिथ्म कक्षाओं में, (बिग ओ) और जैसी पेश की जाती हैं, और एक छात्र आमतौर पर समय जटिलता को खोजने के लिए इनमें से एक का उपयोग करना सीखता है।OOOΘΘ\Theta हालांकि, वहाँ इस तरह के रूप में अन्य अंकन, कर रहे हैं , और । क्या कोई विशिष्ट …

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

यदि आप एक आयत के क्षेत्रफल की गणना करते हैं, तो आप केवल ऊँचाई और चौड़ाई को गुणा करते हैं और वापस इकाई को प्राप्त करते हैं। उदाहरण: 5cm * 10cm = 50cm² इसके विपरीत, यदि आप किसी छवि के आकार की गणना करते हैं, तो आप ऊँचाई और चौड़ाई …

79 terminology 

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

73 terminology  computation-models  lambda-calculus  history 

मैंने (स्ट्रक्चरल) इंडक्शन के बारे में सुना है। यह आपको छोटे लोगों से परिमित संरचनाओं का निर्माण करने की अनुमति देता है और आपको ऐसी संरचनाओं के बारे में तर्क करने के लिए प्रमाण सिद्धांत प्रदान करता है। विचार काफी स्पष्ट है। लेकिन सहवास के बारे में क्या? यह कैसे …

67 terminology  logic  proof-techniques  formal-methods  coinduction 

मैं अक्सर लोगों को समानांतर कंप्यूटिंग और वितरित कंप्यूटिंग के बारे में बात करते हुए सुनता हूं , लेकिन मैं इस धारणा के तहत हूं कि 2 के बीच कोई स्पष्ट सीमा नहीं है, और लोग बहुत आसानी से भ्रमित करते हैं, जबकि मेरा मानना ​​है कि यह बहुत अलग …

60 terminology  distributed-systems  parallel-computing 

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

57 terminology  programming-languages  type-theory  functional-programming  dependent-types 

क्यों कंप्यूटर विज्ञान में किसी भी जटिलता जो कि बहुपद में है, कुशल मानी जाती है? किसी भी व्यावहारिक अनुप्रयोग (ए) के लिए , जटिलता एल्गोरिदम, एल्गोरिदम की तुलना में तेज़ होते हैं जो समय में चलते हैं, कहते हैं, , लेकिन पहले को अक्षम माना जाता है जबकि बाद …

50 algorithms  complexity-theory  terminology  efficiency 

यह एक बुनियादी सवाल है, लेकिन मुझे लगता है कि सोच रहा हूँ के रूप में ही है हे ( अधिकतम ( मीटर , n ) ) , के बाद से बड़े अवधि पर हावी के रूप में हम अनंत को जाना चाहिए? इसके अलावा, यह O ( न्यूनतम ( …

44 terminology  asymptotics  mathematical-analysis  landau-notation 

समवर्ती प्रोग्रामिंग को देखते समय, दो शब्दों का आमतौर पर उपयोग किया जाता है अर्थात समवर्ती और समानांतर। और कुछ प्रोग्रामिंग भाषाएं विशेष रूप से समानांतर प्रोग्रामिंग के लिए समर्थन का दावा करती हैं, जैसे कि जावा । क्या इसका मतलब समानांतर और समवर्ती प्रोग्रामिंग वास्तव में अलग हैं?

44 terminology  parallel-computing  concurrency 

"बिग ओ" में, सामान्य संकेतन के सामान्य नाम हैं (कहने के बजाय, "कुछ स्थिर कारक का ओह"): O (1) "लगातार" है O (लॉग एन) "लॉगरिदमिक" है O (n) "रैखिक" है O (n ^ 2) "द्विघात" है O (n * लॉग एन) है ??? क्या यह सिर्फ "एन लॉग एन" है …

40 terminology  asymptotics 

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

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

मैं कंप्यूटर साइंस में बीएस का पीछा कर रहा हूं, लेकिन मैं इसके शुरुआती बिंदु पर हूं, और मुझे पूरा यकीन है कि मैं अपनी पसंद को देखते हुए खुश रहूंगा क्योंकि यह एक अकादमिक और कैरियर की लचीली शिक्षा की तरह लगता है। यह कहने के बाद, कंप्यूटर विज्ञान …

39 terminology  history 

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

38 terminology  hashing 

सारांश: राइस के प्रमेय के अनुसार, सब कुछ असंभव है। और फिर भी, मैं यह हर समय असंभव सामान करता हूं ! बेशक, राइस प्रमेय बस यह नहीं कहता कि "सब कुछ असंभव है"। यह कुछ और नहीं बल्कि विशिष्ट कहता है: "कंप्यूटर प्रोग्राम की प्रत्येक संपत्ति गैर-संगणनीय है।" (यदि …

37 terminology  computability  undecidability  rice-theorem