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

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

61 reference-request  ho.history-overview  topology  survey 

इस प्रश्न का उद्देश्य सैद्धांतिक कंप्यूटर विज्ञान से उदाहरण एकत्र करना है जहां कंप्यूटर का व्यवस्थित उपयोग सहायक था एक अनुमान के निर्माण में, जो एक प्रमेय की ओर ले जाता है, किसी अनुमान या प्रमाण के दृष्टिकोण को गलत ठहराना एक प्रमाण का निर्माण / सत्यापन (भागों)। यदि आपके …

55 proofs  survey  examples 

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

42 cc.complexity-theory  reference-request  big-list  survey 

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

38 reference-request  big-list  survey  gct 

विकिपीडिया पर कौन से लापता TCS विषय हैं जो आप सबसे अधिक पसंद करेंगे? वे झलक मिल सकती हैं या आप केवल उन विषयों पर सोचते हैं जो वास्तव में एक लेख होना चाहिए। प्रति उत्तर एक विषय कृपया ताकि सबसे अधिक चाहने वालों को वोट दिया जा सके। अपडेट …

26 soft-question  big-list  survey 

मैं उन्नत डेटा संरचनाओं पर एक पुस्तक की तलाश कर रहा हूं जो कि कॉर्मेन, लीसेरसन, रिवेस्ट और स्टीन के "इंट्रोडक्शन टू अल्गोरिथम" जैसी मानक पाठ्यपुस्तकों में शामिल है, उससे आगे जाती है। ऐसी पुस्तक जिसका उपयोग MIT में एरिक डेमनी और एन्ड्रे शुल्ज़ के एडवांस्ड डेटा स्ट्रक्चर्स कोर्स जैसे …

24 soft-question  ds.data-structures  survey  books 

शेयर बाजार की भविष्यवाणी करना कठिन है! क्या टीसीएस इस भावना को अधिक औपचारिक बना सकता है? हाल ही में मैंने वित्त के बारे में थोड़ा सोचना शुरू किया है, और सोच रहा था कि टीसीएस का ज्ञान कैसे मदद कर सकता है। हेज फंड और निवेश फर्म हर समय …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

क्या स्वचालित प्रमेय साबित करने और सबूत को रेखीय और अन्य प्रपोजल सबस्ट्रक्चरल लॉजिक्स में आसान खोज रहा है जिसमें संकुचन की कमी है? मैं इन लॉजिक्स में साबित होने वाले और प्रमाणिक खोज में संकुचन की भूमिका के बारे में और अधिक कहां पढ़ सकता हूं?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

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

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

चलो संवेदनशीलता के साथ एक बूलियन समारोह हो और ब्लॉक संवेदनशीलता ।s ( f ) b s ( f )चचfs ( च)रों(च)s(f)b s ( f)खरों(च)bs(f) संवेदनशीलता-ब्लॉक संवेदनशीलता अनुमान अनुमान बताता है कि एक ऐसा है कि ।∀ च , ख रों ( च ) ≤ रों ( च ) गग …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

क्या विभिन्न प्रोग्रामिंग भाषा विशेषताओं के शब्दार्थ का एक सर्वेक्षण (कागज, पुस्तक अध्याय, ट्यूटोरियल, लिंक, ...) से है? मैं मूल रूप से डी की सुविधाओं से अभिभूत था, यहां http://www.digitalmars.com/d/2.0/comparison.html मैं यह देखना चाहूंगा कि मैं संभवतः यहां से क्या प्राप्त कर सकता हूं, हालांकि मैंने स्टैकओवरफ्लो पर एक समान …

12 reference-request  pl.programming-languages  survey 

मुझे हाल ही में क्ले मैथेमेटिक्स इंस्टीट्यूट में स्टीफन ए। कुक द्वारा बताई गई बनाम N P समस्या के बारे में याद दिलाया गया था ।PP\mathsf{P}NPNP\mathsf{NP} इसने मेरी रुचि को बढ़ाया है और मैं इसके बारे में अधिक जानना चाहूंगा। पहला कदम समस्या की गहरी समझ और सामान्य रूप से …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

मैं एल्गोरिदम में उन्नत विषयों पर संसाधनों (अधिमानतः एक पुस्तिका) की तलाश कर रहा हूं (सीएलआरएस और डीपीवी जैसी एल्गोरिदम पाठ्यपुस्तकों में जो विषय शामिल हैं)। जिस प्रकार की सामग्री का उपयोग एल्गोरिदम पाठ्यक्रम में एरिक डेमिने और डेविड कार्गर के उन्नत एल्गोरिदम पाठ्यक्रम में किसी विषय को पढ़ाने के …

11 ds.algorithms  reference-request  survey  books 

प्लानर सेपरेटर, ट्री सेपरेटर, बाउंड ट्री चौड़ाई ग्राफ, बाउंडेड जीनस ग्राफ, वगैरह, वगैरह से ग्राफ में सेपरेटर पर रिजल्ट के अब पहाड़ हैं। क्या इस और इनके ऐप्स के बारे में कोई अच्छा अपडेट है?

11 reference-request  graph-algorithms  survey 

वहाँ कोई ठोस (या के एक समृद्ध स्रोत) के आवेदन के उदाहरण हैं कंप्यूटर विज्ञान में -adic संख्या?ppp

11 survey